Etiqueta: Métodos formales

Ejemplo de especificación formal en Z: El videoclub

Publicado por Félix el 7 febrero, 2012

Autor: Anónimo | Fuente:Wikipedia | Licencia: CC BY-SA 3.0 Para los que están aprendiendo a realizar especificaciones completas de sistemas informáticos (o partes críticas de los mismos) valiéndose de lenguajes formales como Z, sabrán que es un tema que hay que coger con mucho tacto y dedicación. Y es que…

Seguir leyendo

Configuración de cookies

Este blog persiste en su navegador las cookies necesarias para el funcionamiento básico del mismo (autenticación, sesión y navegación). Adicionalmente, usa cookies de terceros (Google AdSense) para mostrar anuncios no invasivos y respetuosos con sus hábitos de navegación en la medida de lo posible. Le pedimos encarecidamente que evite desactivar las cookies publicitarias pese a estar en su pleno derecho de hacerlo, puesto que sin ellas no podremos mostrarle la publicidad con la que se sufragan los costes de mantenimiento de este blog.

Si aún así quiere excluir un tipo de cookie en particular para no tener que aceptarlas todas, desactive a continuación la tipología que no desea pulsando sobre su correspondiente botón deslizante para que su estado cambie a "Desactivado". Recuerde que las cookies necesarias son indisplensables para el funcionamiento del sitio y no se pueden desactivar. Una vez desactivados los tipos de cookies deseados, pulse sobre el botón "GUARDAR Y ACEPTAR".

Tras aceptar el consentimiento, éste queda persistido durante un año sin que tenga que volver a aceptarlo de nuevo en posteriores visitas a esta web siempre y cuando acceda desde el mismo navegador y sin utilizar la navegación privada (modo de incógnito). También puede modificarlo en cualquier momento tras la aceptación inicial accediendo al apartado Política de cookies.

Finalmente, indicarle que si tiene interés en profundizar en cada tipología de cookie puede desplegar una descripción particular pulsando sobre ella, aparte de poder consultar el listado de cookies asociado.

Necesarias

Siempre activado

Publicitarias

Las cookies publicitarias no son propias sino de un tercero (Google AdSense) y se usan para mostar publicidad a los visitantes del blog y con fines de márquetin. Utilizamos anuncios no personalizados basados en información contextual, como las consultas de búsqueda o el contenido del sitio web que Ud. está visitando. No utilizamos cookies que siguen a los visitantes a través de múltiples páginas recolectando datos relativos a sus hábitos de navegación para mostrar anuncios personalizados.

Cookie	Duración	Descripción
__gads	1 year 24 days	Esta cookie es gestionada por Google y almacenada bajo el dominio de dounleclick.com. Se usa para monitorizar cuántas veces los usuarios ven un anuncio en particular, lo cual ayuda en medir el éxito de una campaña y calcular los ingresos generados por la campaña. Estas cookies sólo pueden ser consultadas por el dominio que las configura, así que no sirven para recabar información del usuario cuando navega a través de múltiples sitios web.
DSID	1 hour	Esta cookie es gestionada por doubleclick.net. Permite a Google mostrar publicidad más atractiva para los usuarios almacenándola en doubleclick.net. Contiene un único identificador encriptado.
IDE	1 year 24 days	Used by Google DoubleClick and stores information about how the user uses the website and any other advertisement before visiting the website. This is used to present users with ads that are relevant to them according to the user profile.
test_cookie	15 minutes	Cookie gestionada por doubleclick.net cuyo propósito es determinar si el navegador del usuario soporta cookies.

Etiqueta: Métodos formales

Ejemplo de especificación formal en Z: El videoclub

Consentimiento de cookies