Práctica 3 Verificación de Especificaciones Z con Z/EVES
|
|
- Estefania Aguilera Luna
- hace 8 años
- Vistas:
Transcripción
1 Práctica 3 Verificación de Especificaciones Z con Z/EVES Maximiliano Cristiá Análisis de Sistemas F.C.E.I.A. - U.N.R. Junio Problemas 1. Discuta las diferencias entre validación y verificación y explique por qué la validación es un proceso particularmente difícil. 2. Considere la siguiente especificación. x : X y : Y f : X Y Operation x? : X y? : Y f = f {x? y?} x = x y = y Compruebe si Operation satisface o no el siguiente invariante: Invariant x y / f 1
2 Práctica 3: Verificación de Especificaciones con Z/EVES 2 Si no es posible probarlo, modifique Operation de manera tal que lo verifique. 3. La especificación que se incluye a continuación, describe mínimamente el estado de un sistema de archivos y la operación de apertura de un archivo en modo de lectura. En este sistema de archivos cada archivo se representa por un entero y tiene asociado otro entero que representa de una forma u otra la información de control de acceso (llamada ac). La política de seguridad usada en este sistema de archivos requiere, entre otras cosas, que para que se pueda abrir un archivo en modo de lectura todos los archivos abiertos previamente en modo de escritura deben tener una ac superior a la que posee el nuevo archivo. La variable de estado ac representa la asociación entre nombres de archivo e información de control de acceso. La variable secmat representa los archivos abiertos así como también en qué modo han sido abiertos. MODE ::= READ WRITE ac : Z Z secmat : Z MODE OpenObjectReadConf o? : Z o? dom ac o : dom secmat secmat o = WRITE ac o? ac o secmat = secmat {o? READ} ac = ac Confinement o 1, o 2 : dom secmat secmat o 1 = READ secmat o 2 = WRITE ac o 1 ac o2 a) Descargue las obligaciones de prueba de OpenObjectReadConf y Confinement. b) Explique la razón por la cual Z/EVES propone esas obligaciones de prueba.
3 Práctica 3: Verificación de Especificaciones con Z/EVES 3 c) Pruebe que OpenObjectReadConf preserva Confinement. 4. Considere la siguiente especificación Z y utilice Z/EVES para responder a la consigna que se detalla más abajo. [DNI, DOMICILIO] SeguridadSocial viveen : DNI DOMICILIO ingresospordomicilio : DOMICILIO Z SeguridadSocialInv SeguridadSocial ran viveen = dom ingresospordomicilio CambioDeDomicilio SeguridadSocial x? : DNI ; nuevodomicilio? : DOMICILIO; z? : Z x? dom viveen nuevodomicilio? viveen x? viveen = viveen {x? nuevodomicilio?} ingresospordomicilio = ingresospordomicilio {nuevodomicilio? z?} Determine formalmente si la operación CambioDeDomicilio preserva o no el invariante de la especificación. En caso de que no lo haga explique la razón de la falla y modifique las postcondiciones de la operación de manera tal que la operación corregida verifique el invariante pero que al mismo tiempo mantenga la forma operativa. (No es necesario efectuar la prueba formal de que la nueva versión efectivamente verifica el invariante.) 5. Considere la siguiente especificación Z del problema 4 con los cambios introducidos a continuación y utilice Z/EVES para responder a las consignas que se detallan más abajo.
4 Práctica 3: Verificación de Especificaciones con Z/EVES 4 CambioDeDomicilio SeguridadSocial x? : DNI ; nuevodomicilio? : DOMICILIO; z? : Z x? dom viveen nuevodomicilio? viveen x? viveen = viveen {x? nuevodomicilio?} ingresospordomicilio = if viveen x? / ran({x?} viveen) then {viveen x?} ingresospordomicilio {nuevodomicilio? z?} else ingresospordomicilio {nuevodomicilio? z?} a) Descargue la obligación de prueba que Z/EVES plantea en el esquema CambioDeDomicilio. b) Explique por qué Z/EVES plantea la obligación de prueba mencionada en el ítem anterior c) Demuestre (utilizando Z/EVES) que CambioDeDomicilio preserva el invariante SeguridadSocialInv. Ayuda: deberá probar algunos lemas sobre teoría de conjuntos. 6. Considere los esquemas mostrados más abajo. Probar que AddItem preserva SysInv. System list : seq Z AddItem System z? : Z z? in list list = list z? SysInv System l 1 : seq Z; z : Z list = l 1 z z in l1 7. Considere la siguiente especificación de parte de un sistema para reserva de pasajes de una línea aérea.
5 Práctica 3: Verificación de Especificaciones con Z/EVES 5 [PASSPORT ] maxseats : Z maxseats > 0 El sistema se representa por medio de dos secuencias: seats, que almacena los números de pasaporte que tienen asiento reservado en el avión; y waitinglist, que guarda los números de pasaporte que han solicitado una reserva pero están en lista de espera. ARS seats, waitinglist : seq PASSPORT Se modela la operación para solicitar una reserva. Si aun hay lugar en el avión se le asigna un asiento al siguiente pasaporte. Hasta ese momento la lista de espera debe estar vacía. ReservationOK 1 ARS p? : PASSPORT #seats < maxseats seats = seats p? waitinglist = waitinglist Si no hay más asientos pero se siguen haciendo reservaciones, se debe poner a los siguientes pasaportes en la lista de espera (pero esta no puede ser muy larga). ReservationOK 2 ARS p? : PASSPORT #seats = maxseats #waitinglist < 2 maxseats seats = seats waitinglist = waitinglist p? Reservation = ReservationOK 1 ReservationOK 2 El invariante que se desea preservar es el siguiente:
6 Práctica 3: Verificación de Especificaciones con Z/EVES 6 ReservationInv ARS #seats + #waitinglist 3 maxseats Usted debe: a) Explicar formalmente si la operación Reservation preserva o no el invariante. Ayuda: Puede utilizar Z/EVES para responder este punto. b) Hacer las mínimas modificaciones posibles (según los requerimientos informales) para lograr que la operación preserve el invariantes. c) Demostrar, usando Z/EVES, que la operación modificada preserva el invariante.
Práctica 4: Testing de Software
Práctica 4: Testing de Software Maximiliano Cristiá Ingeniería de Software F.C.E.I.A. - U.N.R. Noviembre 2010 1. Temario Vocabulario y conceptos Testing estructural basado en el flujo de control Testing
FEDERACIÓN ARGENTINA DE EMPLEADOS DE COMERCIO Y SERVICIOS. Página 1 de 22 MESA DE AYUDA: 0-800-999-3232 ayuda@faecys.org.ar
Página 1 de 22 MESA DE AYUDA: 0-800-999-3232 Índice 1. Ingreso al sistema por primera vez... 3 2. Página de Inicio del sistema... 8 3. Generación de Boleta de Pago de Obligación Mensual... 9 4. Generación
Comisión Nacional de Bancos y Seguros
Comisión Nacional de Bancos y Seguros Manual de Usuario Capturador de Pólizas División de Servicios a Instituciones Financieras Mayo de 2011 2 Contenido 1. Presentación... 3 1.1 Objetivo... 3 2. Descarga
Formularios. Formularios Diapositiva 1
Formularios Crear un formulario utilizando el Asistente para formularios Modificación en vista Diseño Adición de Controles a un Formulario Adición de un Subformulario a un formulario Formularios Diapositiva
Guía para la Solicitud de Certificados de AAPP en formato Software.
de Certificados de AAPP en formato Software. Versión 1.0 28 de Junio de 2011 Para poder solicitar un certificado de AC Camerfirma para Administraciones Públicas (AAPP) es imprescindible disponer de un
MANUAL DE USUARIO PIFTE - ESPAÑA
Programa Iberoamericano de Formación Técnica Especializada PIFTE-ESPAÑA MANUAL DE USUARIO PIFTE - ESPAÑA 1. Acceso a la información de las Convocatorias de PIFTE-España 2. Procedimiento para solicitar
FOCO- LIQUIDACIÓN: DUDAS MÁS FRECUENTES
FOCO- LIQUIDACIÓN: DUDAS MÁS FRECUENTES LIQUIDACIÓN 1. Por qué al realizar una liquidación parcial no me aparece ningún curso? Es necesario saber si los cursos que deseo imputar tienen el F-40 validado,
MÓDULO DE ARCHIVO. 1. ADMINISTRADOR DE ARCHIVO 2. ARCHIVO SGD ORFEO VERSION 3.9.2
MÓDULO DE ARCHIVO. 1. ADMINISTRADOR DE ARCHIVO 2. ARCHIVO SGD ORFEO VERSION 3.9.2 1. ADMINISTRADOR DE ARCHIVO INTRODUCCION. Este documento está dirigido al personal encargado del archivo dentro de la entidad,
Qué es una firma digital?
Cómo se sabe si una firma digital es fidedigna OFFice 2007 Mostrar todo Las firmas digitales desempeñan un papel crucial en la seguridad del software. En este artículo, se explica qué es una firma digital
Históricos Impresión de Facturas
Históricos Impresión de Facturas Desde esta pantalla se puede imprimir facturas en grupo, es decir, imprimir de forma consecutiva todas las facturas archivadas que están comprendidas entre dos números.
Procesos Críticos en el Desarrollo de Software
Metodología Procesos Críticos en el Desarrollo de Software Pablo Straub AgileShift Imagine una organización de desarrollo de software que consistentemente cumple los compromisos con sus clientes. Imagine
Formulario de solicitud electrónico PAP. Guía para solicitantes 2013
COMISIÓN EUROPEA Dirección General de Educación y Cultura Programa de Aprendizaje Permanente Convocatoria 2013 Formulario de solicitud electrónico PAP Guía para solicitantes 2013 Índice I. Introducción
1. Alcance de la Aplicación Web. 3. Ingreso a la Aplicación Web
Índice 1. Alcance de la Aplicación Web 2 2. Requerimientos 2 3. Ingreso a la Aplicación Web 2 4. Registro de las emisiones 4 5. Registro de las colocaciones 8 6. Registro de los Pagos 13 1. Alcance de
MANUAL DE USUARIO APLICACION SEIL PARA EL ENVIO DE TRANSACCIONES
MANUAL DE USUARIO APLICACION SEIL PARA EL ENVIO DE TRANSACCIONES El presente documento describe el procedimiento a seguir por los fiscalizados para el envío de transacciones u otra información solicitada
Hacer clic sobre la figura, para extraer todos los registros o presionar la tecla F2.
b) Adicionar grados Para llevar a cabo esta operación el usuario deberá realizar los siguientes pasos: Recuperar la información, para realizar esta operación el usuario puede hacerla de las siguientes
Indice I. INTRODUCCIÓN SEGURIDAD DE ACCESO REGISTRO DEL VALOR FLETE CONSULTAS V. GRÁFICAS. MANUAL GENERADORES DE CARGA RNDC Noviembre 2015 Versión 2
MANUAL GENERADORES DE CARGA RNDC Noviembre 2015 Versión 2 Indice I. INTRODUCCIÓN II. SEGURIDAD DE ACCESO III. REGISTRO DEL VALOR FLETE IV. CONSULTAS V. GRÁFICAS Ministerio de Transporte - Manual generadores
MANUAL DE USUARIO DESKTOP
2013 TEM SOLUCIONES MANUAL DE USUARIO DESKTOP Usuario Desktop Tem Soluciones TABLA DE CONTENIDO INTRODUCCIÓN... 3 LOGIN... 4 Login... 4 PÁGINA DE BIENVENIDA... 4 ENVIAR SMS... 5 Solo SMS (Single SMS):...
Guía rápida de la Oficina Virtual (Solicit@V5) Área Web y Administración Electrónica
Guía rápida de la Oficina Virtual (Solicit@V5) Área Web y Administración Electrónica HOJA DE CONTROL Título Nombre del Fichero Autores Guía rápida de la Oficina Virtual (Solicit@V5) UHU_GuiaRapidaSolicita_V5.pdf
P/. Factura Electrónica D/. Manual de Usuario Proveedores
Control documental Versión del Fecha Autor Modificaciones/Comentarios documento 1.0 10/02/2011 Diputación de Teruel Versión inicial del documento 1.1 05/04/2011 Diputación de Teruel Revisado estilo 1.2
ESCUELA DE ADMINISTRACIÓN
ESCUELA DE ADMINISTRACIÓN PROGRAMA: TÉCNICO GESTIÓN DEL TALENTO HUMANO SUBMÓDULO INFORMÁTICA I CONTENIDO 1 MANEJO DE DOCUMENTOS Y ARCHIVOS... 3 1.1 ARCHIVOS... 3 1.2 CREAR DOCUMENTO NUEVO... 3 1.3 GUARDAR
Utilizar PO Convert para crear una factura a partir de una orden de compra
1 / 8 Cómo Utilizar PO Convert para crear una factura a partir de una orden de compra 1. Inicie sesión en su cuenta de OB10. 2. Seleccione la sección de órdenes aceptadas - En la página de inicio de su
Apuntes de ACCESS. Apuntes de Access. Campos de Búsqueda:
Apuntes de ACCESS Campos de Búsqueda: Los campos de búsqueda permiten seleccionar el valor de un campo de una lista desplegable en lugar de tener que escribirlos. El usuario sólo tiene que elegir un valor
MANUAL DE INICIO DE TRAMITACIÓN CON CERTIFICADO ELECTRÓNICO Cambio de Titularidad de Apertura de Actividades no Calificadas
MANUAL DE INICIO DE TRAMITACIÓN CON CERTIFICADO ELECTRÓNICO Cambio de Titularidad de Apertura de Actividades no Calificadas PASO PREVIO: PAGO DE LA TASA El procedimiento de Cambio de Titularidad de Apertura
PROCEDIMIENTO PARA LA GESTIÓN DE LOS REGISTROS DEL SISTEMA DE CALIDAD
Página : 1 de 6 PROCEDIMIENTO PARA LA GESTIÓN DE LOS REGISTROS DEL SISTEMA DE CALIDAD Esta es una copia no controlada si carece de sello en el reverso de sus hojas, en cuyo caso se advierte al lector que
Manual de Usuario INGEFINE: Registro de Información Financiera a través de la Web DIRECCIÓN DE INFORMÁTICA SISTEMAS DE INFORMACIÓN
DIRECCIÓN DE INFORMÁTICA SISTEMAS DE INFORMACIÓN INFORMACIÓN DE GESTIÓN FINANCIERA DE EMPRESAS AERONÁUTICAS Registro de Información Financiera a través de la Web Dirección de Informática Sistemas de Información
NOTAS TÉCNICAS SOBRE EL SIT: Documentos de Gestión
NOTAS TÉCNICAS SOBRE EL SIT: Documentos de Gestión Introducción...2 Tipos de documentos...2 Datos de Cabecera...3 Nuevo Documento... 3 Modificar Documento... 4 Añadir, modificar y eliminar Artículos...5
Estado Libre Asociado de Puerto Rico Consejo de Educación Superior de Puerto Rico División de Administración de Programas
Estado Libre Asociado de Puerto Rico Consejo de Educación Superior de Puerto Rico División de Administración de Programas Manual del Usuario (SINAFE) Entrada al Sistema. La dirección electrónica para el
Un botón puede tener hasta cuatro estados diferentes. Cada estado representa el aspecto del botón en respuesta a un evento del ratón:
Estados de botón Un botón puede tener hasta cuatro estados diferentes. Cada estado representa el aspecto del botón en respuesta a un evento del ratón: El estado Arriba es el estado predeterminado o aspecto
SINAUTO. (Captura Requirimientos) GRUPO 03
SINAUTO (Captura Requirimientos) GRUPO 03 Iker Jauregi ikerjauregivicente@hotmail.com Iñigo Arregui bateman2012@gmail.com Javier Arce arcjav@hotmail.com Jorge García. jgfand@gmail.com Patxi Campos.patxi948@wanadoo.es
Tarea 4.2 Memoria Virtual
1 Tarea 4.2 1. Cuál es la diferencia entre paginación simple y paginación en memoria virtual? En memoria virtual no es necesario que todas las páginas estén en marcos de la memoria principal. Las páginas
SECRETARÍA VIRTUAL Perfil Ciudadano
SECRETARÍA VIRTUAL Perfil Ciudadano Marzo 2012 ÍNDICE 1. INTRODUCCIÓN...1 3. COMPONENTES NECESARIOS...3 4. TELETRAMITAR UNA SOLICITUD...4 4.1 Enviar una solicitud...4 4.1.1. Grabación de la solicitud...5
Capítulo 8 Ficheros de Configuración
Capítulo 8 Ficheros de Configuración Todos los ajustes de ZoomText pueden ser guardados y recuperados usando los ficheros de configuración. Los ficheros de configuración controlan todas las características
Para seleccionar la empresa en que se va a trabajar, así como para crear una nueva empresa, seguir los pasos siguientes:
IDENTIFICACION DE LA EMPRESA En la primera hoja procederemos a realizar la Identificación de la Empresa que permita anotar los datos con las características que resaltan los aspectos principales como:
MANUAL DEL USUARIO INGRESO
MANUAL DEL USUARIO INGRESO DE EXPEDIENTES VIA WEB CAMARA NACIONAL DE APELACIONES EN LO COMERCIAL Objetivo 2 Requisitos 2 Modalidad de Operación 2 Modalidad de Conexión 2 Procedimiento de Operación 2 Autenticación
Manual Agencia Virtual Empresas
Manual Agencia Virtual Empresas 1. CÓMO SOLICITO LA AGENCIA VIRTUAL?...2 2. CÓMO DESBLOQUEO UN USUARIO DE LA AGENCIA VIRTUAL?...2 3. CÓMO INGRESO A LA AGENCIA VIRTUAL?...2 4. SOLICITUDES Y SERVICIOS...4
Traducción del. Our ref:
Traducción del Documento: Our ref: Secretaría del ISO/TC 176/SC 2 Fecha: 15 de octubre de 2008 A los Miembros del ISO/TC 176/SC 2 - Gestión de la Calidad y Aseguramiento de la Calidad/ Sistemas de la Calidad
GESTIÓN DOCUMENTAL PARA EL SISTEMA DE CALIDAD
GESTIÓN DOCUMENTAL PARA EL SISTEMA DE CALIDAD Manual de usuario 1 - ÍNDICE 1 - ÍNDICE... 2 2 - INTRODUCCIÓN... 3 3 - SELECCIÓN CARPETA TRABAJO... 4 3.1 CÓMO CAMBIAR DE EMPRESA O DE CARPETA DE TRABAJO?...
CLASE No. 4 MANEJO DE DOCUMENTOS
CLASE No. 4 MANEJO DE DOCUMENTOS 1 MANEJO DE DOCUMENTOS 1.1 Crear Documento Nuevo Un documento es un conjunto de páginas que se guardan con un nombre. Al ingresar a Word 2010 por defecto se crea un nuevo
INICIO DE OPERACIONES SOLUFACT
INICIO DE OPERACIONES SOLUFACT NOTA: Si después de instalar SoluFact al intentar abrirlo no se abre o se abre de manera fugaz y vuelve a cerrarse de inmediato por favor haga click derecho en el icono de
Instructivo Software de Gestión de Duplicados (Cor-Dupli)
Instructivo Software de Gestión de Duplicados (Cor-Dupli) 1) Ingreso al sistema 2) Disposición de la información a. Estructura de la pantalla b. Estructura de información que se muestra en los listados
MANUAL DE AYUDA MÓDULOS 2011 MACOS
MANUAL DE AYUDA MÓDULOS 2011 MACOS Agencia Tributaria Centro de Atención Telefónica Departamento de INFORMÁTICA TRIBUTARIA ÍNDICE MÓDULOS 2011 INTRODUCCIÓN...3 Requisitos previos. Máquina Virtual de Java...
MANUAL DE USUARIO AVMsorguar
MANUAL DE USUARIO AVMsorguar TABLA DE CONTENIDO TABLA DE CONTENIDO...1 INSTALADOR...2 INSTALACION...3 MANUAL DE USO...8 DESCARGA DE DATOS...8 CONFIGURACION DEL AVM...9 VISUALIZACION DE LOS DATOS...10 MANEJO
PROCEDIMIENTO PARA INGRESAR AL CORREO DE REDP POR MEDIO DEL OWA (OUTLOOK WEB ACCESS) El procedimiento ingresar al correo de RedP es el siguiente:
PROCEDIMIENTO PARA INGRESAR AL CORREO DE REDP POR MEDIO DEL OWA (OUTLOOK WEB ACCESS) El procedimiento ingresar al correo de RedP es el siguiente: 1. Ingrese en su Internet Explorer a la dirección http://correo.redp.edu.co
GESTION DOCUMENTAL DIAGNÓSTICO INTEGRAL DE ARCHIVO ENTIDAD: 1. OBJETIVO
FECHA DE DIAGNÓSTICO: GESTION DOCUMENTAL DIAGNÓSTICO INTEGRAL DE ARCHIVO ENTIDAD: RESPONSABLES: Comité Interno de Archivo 1. OBJETIVO Realizar el análisis del archivo de la Personería Municipal de Choachi,
Guía de instalación de la carpeta Datos de IslaWin
Guía de instalación de la carpeta Datos de IslaWin Para IslaWin Gestión CS, Classic o Pyme a partir de la revisión 7.00 (Revisión: 10/11/2011) Contenido Introducción... 3 Acerca de este documento... 3
Manual de Usuario del Sistema RECIBOS DE HABERES UNLu Contacto:
Manual de Usuario del Sistema RECIBOS DE HABERES UNLu Agosto 2015 Contacto: e-mail: recibos_web@unlu.edu.ar teléfono: (02323) 423979/423171 Interno 1236 INDICE Pág. 1. Introducción 2 2. Acceso al sistema
QUERCUS PRESUPUESTOS MANUAL DEL USO
QUERCUS PRESUPUESTOS MANUAL DEL USO 2 Tabla de Contenido 1 Introducción 1 1.1 General 1 1.1.1 Que es Quercus Presupuestos? 1 1.1.2 Interfaz 1 1.1.3 Árbol de Navegación 2 1.1.4 Estructura de Datos de un
GedicoPDA: software de preventa
GedicoPDA: software de preventa GedicoPDA es un sistema integrado para la toma de pedidos de preventa y gestión de cobros diseñado para trabajar con ruteros de clientes. La aplicación PDA está perfectamente
CIERRE DE PERÍODOS DE LIQUIDACIÓN
CIERRE DE PERÍODOS DE LIQUIDACIÓN DigiFactIn no es sólo un programa de digitalización de documentos, sino, también una herramienta eficaz para realizar la Digitalización Certificada, lo que permite que
Autenticación del Letrado... 3 Si olvidó su contraseña... 4
MANUAL DEL USUARIO INGRESO DE PODERES VIA WEB CAMARA FEDERAL DE LA SEGURIDAD SOCIAL Objetivo... 2 Requisitos... 2 Modalidad de Conexión... 2 Autenticación del Letrado... 3 Si olvidó su contraseña... 4
QUÉ ES HOMEBASE? Encontrar Libros
QUÉ ES HOMEBASE? HomeBase 2.3 es el software de gerencia de inventario que permite no perder de vista sus libros, catálogos, desideratas, clientes y facturas. Usted puede agregar nuevas entradas, actualizar
TUTORIAL PRÁCTICO DE BASES DE DATOS EN ACCESS CREAR UNA AGENDA
TUTORIAL PRÁCTICO DE BASES DE DATOS EN ACCESS CREAR UNA AGENDA Antes de iniciar con nuestro tutorial, conozcamos algunos conceptos que vamos a utilizar en este tutorial: Que es una base de datos: Una base
GENERACIÓN DE ANTICIPOS DE CRÉDITO
GENERACIÓN DE ANTICIPOS DE CRÉDITO 1 INFORMACIÓN BÁSICA La aplicación de generación de ficheros de anticipos de crédito permite generar fácilmente órdenes para que la Caja anticipe el cobro de créditos
CURSO INSTALACION E IMPLEMENTACION ALOJA SOFTWARE HOTEL MODULO 01: Instalación- Datos Generales- Datos Particulares [1]
MODULO 01: Instalación- Datos Generales- Datos Particulares [1] Concepto global del software El software le permite llevar toda la administración de su hotel. Los usuarios utilizarán en mayor medida las
Sistema de Gestión Portuaria Sistema de Gestión Portuaria Uso General del Sistema
Sistema de Gestión Portuaria Uso General del Sistema Uso General del Sistema Página 1 de 21 Contenido Contenido... 2 1.Ingreso al Sistema... 3 2.Uso del Menú... 6 3.Visualizar Novedades del Sistema...
Departamento de Soporte Occidente. Módulo Procesos. Constantes Periódicas:
1 Constantes Periódicas: Esta opción le permite colocar los valores a dichas constantes periódicas. Al darle doble click o Enter ésta abrirá una nueva ventana de los trabajadores en la cual se cargaran
5.4. Manual de usuario
5.4. Manual de usuario En esta sección se procederá a explicar cada una de las posibles acciones que puede realizar un usuario, de forma que pueda utilizar todas las funcionalidades del simulador, sin
ALGUNAS AYUDAS PARA EL ACCESO AL AULA DIGITAL Contenido
ALGUNAS AYUDAS PARA EL ACCESO AL AULA DIGITAL Contenido Tabla de contenido 1 INFORMACIÓN PERSONAL... 2 1.1 Cómo ingresar al Aula Digital?... 2 1.2 Qué hacer si olvida su contraseña?... 2 1.3 Qué veo cuando
Contabilidad. Introducción. Contabilidad Diapositiva 1
Contabilidad Módulo de Contabilidad Parámetros de Contabilidad Ejercicios y Períodos Moneda Corriente y Moneda Extranjera Indicadores para el análisis contable Cuentas Asientos Lotes contables recibidos
Manejo de versiones 392
Manejo de versiones 392 El desarrollo de software es un trabajo en equipo y cierto grado de confusión es inevitable. No puedo reproducir el error en esta versión! Qué pasó con el arreglo de la semana pasada?
MACROS Y FORMULARIOS
MACROS Y FORMULARIOS Para poder realizar formularios en Excel es necesario ubicar el menú programador Qué hacer si no aparece el menú programador? En algunos equipos no aparece este menú, por lo que es
Aporta. Manual de uso para administradores de contenido Este manual le enseñará rápidamente a usar las distintas herramientas de su sitio web
Aporta Manual de uso para administradores de contenido Este manual le enseñará rápidamente a usar las distintas herramientas de su sitio web CMS Desarrollado por CIBOS Limitada. INDICE 1. QUÉ ES APORTA
Incidencias: Todas las incidencias que ocurrirán durante el apadrinamiento de un niño se deben registrar para poder buscar soluciones.
Apadrinamiento ONG Estudio preliminar: Se desea diseñar una aplicación para la gestión de los apadrinamientos de una asociación ONG. Para ello el sistema proporcionara una interfaz al usuario para poder
NOTAS TÉCNICAS SOBRE EL SIT: Definición y Configuración de Usuarios
NOTAS TÉCNICAS SOBRE EL SIT: Definición y Configuración de Usuarios Qué es un Usuario?...2 Definición...2 Características...2 Tipos de Usuario...3 Supervisor...3 Privilegios de Acceso...4 Confidenciales...4
Autor: Microsoft Licencia: Cita Fuente: Ayuda de Windows
Qué es Recuperación? Recuperación del Panel de control proporciona varias opciones que pueden ayudarle a recuperar el equipo de un error grave. Nota Antes de usar Recuperación, puede probar primero uno
Guía paso a paso para la cumplimentación del formulario de candidatura
Guía paso a paso para la cumplimentación del formulario de candidatura INDICE 1. INSTRUCCIONES GENERALES... 2 2. PARTENARIADO... 4 3. GRUPOS DE TAREAS... 8 4. INDICADORES... 14 5. CUMPLIMENTACIÓN DEL RESTO
CUENTAS CONTABLES. En el modulo Contabilidad Astor, para dar de alta una cuenta contable imputable, se necesitan ingresar los siguientes datos:
CUENTAS CONTABLES En el modulo Contabilidad Astor, para dar de alta una cuenta contable imputable, se necesitan ingresar los siguientes datos: Código de cuenta: es posible utilizar letras, números y caracteres
Copia de Seguridad en windows
Copia de Seguridad en windows Que hace cada tipo de copia de Seguridad: Normal: Copia los archivos seleccionados y los marca como copiados. Copia: Copia todos los archivos seleccionados, pero no los marca
MACROS. Automatizar tareas a través del uso de las macros.
OBJETIVOS MACROS Definiciones Automatizar tareas a través del uso de las macros. Grabar Ejecutar Manipular macros. Tipos de Macros en Excel Introducción Las operaciones tradicionales que se pueden realizar
ACTUALIZACION DE ISACONTA AL NUEVO PLAN GENERAL DE CONTABILIDAD 2008
ACTUALIZACION DE ISACONTA AL NUEVO PLAN GENERAL DE CONTABILIDAD 2008 Indice: IMPORTANTE - Antes de instalar la actualización... 2 Herramientas que contiene el kit de actualización:... 2 GUIA DE INSTALACION
LiLa Portal Guía para profesores
Library of Labs Lecturer s Guide LiLa Portal Guía para profesores Se espera que los profesores se encarguen de gestionar el aprendizaje de los alumnos, por lo que su objetivo es seleccionar de la lista
Recursos de Aprendizaje
1.0 Entorno del programa 2.0 Creación de un nuevo programa 2.1 Guardar un programa o una lista de posiciones 2.2 La apertura de una lista de programa o de posiciones 2.3 El cierre de una lista de programas
Orientación acerca de los requisitos de documentación de la Norma ISO 9001:2000
Orientación acerca de los requisitos de documentación de la Norma ISO 9001:2000 Documento: ISO/TC 176/SC 2/N 525R Marzo 2001 ISO Traducción aprobada el 2001-05-31 Prólogo de la versión en español Este
Guía de instalación de la carpeta Datos de ContaWin
Guía de instalación de la carpeta Datos de ContaWin Para ContaWin CS, Classic o Pyme a partir de la revisión 12.10 (Revisión: 29/06/2011) Contenido Introducción... 3 Acerca de este documento... 3 Dónde
ESFINGE Estadísticas de las Industrias del Gas Manual de Usuario Ciudadano ÍNDICE
Manual de Usuario ÍNDICE 1. INTRODUCCIÓN... 3 2. ACCESO A LA APLICACIÓN... 4 2.1. ALTA NUEVO USUARIO... 5 2.2. RECORDATORIO CLAVES DE ACCESO... 7 2.3. AUTENTICARSE EN EL SISTEMA... 8 3. ESTRUCTURA DE LA
Manual de rol gestor de GAV para moodle 2.5
Manual de rol gestor de GAV para moodle 2.5 Consultas LDAP-GAUR... 2 Buscar en LDAP datos de un usuario... 2 Docentes... 3 Buscar en GAUR datos de un docente... 3 Buscar en GAUR la docencia de un docente
BASES DE DATOS - Microsoft ACCESS 2007-
BASES DE DATOS - Microsoft ACCESS 2007- Una base de datos es un archivo estructurado de datos que nos permite almacenarlos, modificarlos, ordenarlos, generar informes etc., de manera rápida. Un listín
MANUAL TRAMITACIÓN PROCEDIMIENTO
MANUAL TRAMITACIÓN PROCEDIMIENTO GESTIÓN ACADÉMICA: EXPEDICIÓN DE CERTIFICACIONES ACADÉMICAS Índice 1.- Introducción...3 2.- Esquema de tramitación...4 3.- Tramitación...5 Paso 1. Acceder al Escritorio
La explicación la haré con un ejemplo de cobro por $100.00 más el I.V.A. $16.00
La mayor parte de las dependencias no habían manejado el IVA en los recibos oficiales, que era el documento de facturación de nuestra Universidad, actualmente ya es formalmente un CFD pero para el fin
GENERACIÓN DE TRANSFERENCIAS
GENERACIÓN DE TRANSFERENCIAS 1 INFORMACIÓN BÁSICA La aplicación de generación de ficheros de transferencias permite generar fácilmente órdenes para que la Caja efectúe transferencias, creando una base
Plantilla de buenas prácticas
Plantilla de Buenas Prácticas Julio 2015 Plantilla de buenas prácticas Esta plantilla proporciona información básica cerca las buenas prácticas, incluso también un formulario (p.3) para rellenar y documentar
Gestión de Retales WhitePaper Noviembre de 2009
Gestión de Retales WhitePaper Noviembre de 2009 Contenidos 1. Introducción 3 2. Almacén de retales 4 3. Propiedades de los materiales 6 4. Alta de retales 8 5. Utilización de retales en un lote de producción
2. ÁMBITO Y ALCANCE DEL PROYECTO...
ÍNDICE 1. INTRODUCCIÓN... 3 1.1. OBJETIVO DEL DOCUMENTO... 3 2. ÁMBITO Y ALCANCE DEL PROYECTO... 3 2.1. OBJETIVOS DEL PROYECTO... 3 2.2. ALCANCE DEL PROYECTO... 3 3. CONSIDERACIONES GENERALES SOBRE EL
MANUAL DE USUARIO. SISTEMA DE INVENTARIO DE OPERACIONES ESTADÍSTICAS.
MANUAL DE USUARIO. SISTEMA DE INVENTARIO DE OPERACIONES ESTADÍSTICAS. INDICE Cómo Ingresar al Sistema?... 1 Autenticación de Usuario... 2 Pantalla Principal del Sistema de Operaciones Estadisticas... 3
Sistema de Gestión Académica TESEO. Revisión 1.0. Servicio de Informática Área de Gestión (GESTIÓN DE RESÚMENES DE TESIS DOCTORALES)
Sistema de Gestión Académica TESEO (GESTIÓN DE RESÚMENES DE TESIS DOCTORALES) Revisión 1.0 Servicio de Informática Área de Gestión Mayo de 2004 INDICE INDICE... 1 1 Introducción... 1 2 Procedimiento....
2. Aquí se muestra la fecha de captura y el número de folio correspondiente a la solicitud, ambos datos son capturados por el sistema.
1 Captura de una Solicitud de Viático En la pantalla principal se realiza la captura de una solicitud de viático. Esta sección se compone de dos partes principales. En la primera se encuentran los datos
APÉNDICE E: MANUAL DE USUARIO PARA EL SISTEMA DE MONITOREO DE REDES LAN.
APÉNDICE E: MANUAL DE USUARIO PARA EL SISTEMA DE MONITOREO DE REDES LAN. Objetivo: Mostrar al usuario administrador el funcionamiento del sistema, junto con los datos que debe ingresar, además de interactuar
Registro Único de Proveedores del Estado (RUPE) Guía para Gestores
Registro Único de Proveedores del Estado (RUPE) Guía para Gestores INFORMACIÓN DE INTERÉS Última actualización: 21-04-2015 Nombre actual del archivo: RUPE-GuíaParaGestores.odt Contenido Contenido... 2
3. Presionar en el botón Buscar para obtener el siguiente cuadro:
Búsqueda de datos Si necesitáramos encontrar en nuestra tabla un número de cliente determinado, es posible ubicarlo fácilmente dado que este campo es justamente la clave principal de la tabla, pero cómo
Guía de instalación. Configuración necesaria Instalación y activación
Guía de instalación Configuración necesaria Instalación y activación Configuración necesaria Las aplicaciones de la línea de productos 4D v15 requieren como mínimo la siguiente configuración: Windows OS
App para realizar consultas al Sistema de Información Estadística de Castilla y León
App para realizar consultas al Sistema de Información Estadística de Castilla y León Jesús M. Rodríguez Rodríguez rodrodje@jcyl.es Dirección General de Presupuestos y Estadística Consejería de Hacienda
Guía sobre los cambios del nuevo sitio Web de Central Directo
Guía sobre los cambios del nuevo sitio Web de Central Directo Con el respaldo del La presente guía contiene información sobre los cambios que introduce la puesta en funcionamiento del nuevo sitio Web de
Manual de configuración de Adobe Reader para la validación de la firma de un documento.
Manual de configuración de Adobe Reader para la validación de la firma de un documento. Versión 1.0 Página 1 de 24 TABLA DE CONTENIDOS INSTALAR LOS CERTIFICADOS DE LA FNMT-RCM.... 3 CONFIGURAR ADOBE READER
helppeople Viewer 2013
helppeople Viewer 2013 helppeople Viewer. helppeople Viewer es una aplicación que permite visualizar la pantalla de otro computador, conectado a la red, en su propia pantalla. Además, este programa le
Manual de Usuarios Contratistas y Consultores
Departamento de Registros y de Consultores del MOP Manual de Usuarios Contratistas y Consultores Registro de Contratistas y Consultores Versión 6.0 Versiones del Manual Versión Mejora Fecha 1.0 Versión
Manual de ayuda para la presentación de solicitudes de evaluación vía telemática
Manual de ayuda para la presentación de solicitudes de evaluación vía telemática Agencia de Calidad, Acreditación y Prospectiva de las Universidades de Madrid 2010 Índice: 1.- INTRODUCCIÓN DE DATOS PERSONALES
Guía Indico del Usuario Administrador CERN
Guía Indico del Usuario Administrador CERN por CERN Guía Indico del Usuario Administrador Tabla de Contenidos 1. Comenzando con Indico...1 1.1. Crear una Cuenta de Administración...1 1.2. Cuentas Creadas
Capítulo 9. Archivos de sintaxis
Capítulo 9 Archivos de sintaxis El SPSS permite generar y editar archivos de texto con sintaxis SPSS, es decir, archivos de texto con instrucciones de programación en un lenguaje propio del SPSS. Esta
Manual de usuario de IBAI BackupRemoto
Manual de usuario de IBAI BackupRemoto Índice Cliente de IBAI BackupRemoto... 3 Descarga del cliente de IBAI BackupRemoto... 4 Instalación del cliente de IBAI BackupRemoto... 5 Instalación sobre Microsoft