METODOS FORMALES Integrantes : Caceres Zea Rarold Herrera Rivera Jerson Luna Calderón Angel Especificación Formal con VDM ++ Aplicación WEB de Turismo.

Slides:



Advertisements
Presentaciones similares
Clase 09.  Garantizar la calidad de software  La prueba nunca termina, del IS translada se translada al usuario  Las casas de software invierte del.
Advertisements

“PLAN INTEGRAL DE CAPACITACION NODOCENTE” PLANIFICACION Y RENDICION DE CUENTAS Curso-Taller: Planificación y rendición de cuentas Ref. Capacitación: Cr.
Modelado de Proceso de Negocio (MPN)
Lcda. Ingrid Graü Diseño de Sistemas 1. Lcda. Ingrid Graü Diseño de Sistemas 2.
Carrera de Ingeniería en Electrónica en Redes y Comunicación de Datos “DESARROLLO DE UN SISTEMA DE INFORMACIÓN INTERACTIVO BASADO EN WEB 3.0” GRETA CAROLINA.
 Se refiere al almacenamiento físico en el se describe cómo se almacenan realmente los datos en memorias secundarias, en qué archivos, su nombre y dirección.
DISEÑO ORGANIZACIONAL Lic. Sujey Herrera Ramos. Es un método planificado que permite adaptar la estructura física, humana y de procesos de una organización.
Manual Formulario Registro de Cajas Para el envío de Cajas en crecimiento.
Clase 1. Clase 7 Clase 8.
PROGRAMACION ORIENTADA A OBJETOS
Ingreso , proceso y salida de datos
-Enunciado del problema -Requerimientos del problema
Paul Leger Formas Normales: Lineamientos formales para un buen diseño y la necesidad de por qué son necesarias las dependencia funcionales.
Estandarización de recetas
Sistema de Control de Accesos Web
Ingeniería de requisitos y
FASE DE INSCRIPCION APLICATIVO WEB SED
IEEE-std Práctica Recomendada para la Especificación de Requerimientos de Software Fuente: IEEE Recommendad Practice for Software Requirements.
Miguel Ángel López Macías
¿Cuáles son los lugares turísticos declarados en la Argentina?
ORIENTACION OCUPACIONAL
DEPARTAMENTO DE ENERGÍA Y MECÁNICA
Proyecto de software Fase Análisis.
UBICACION GENERAL DEL PREDIO
APROBACIÓN DE NÓMINAS DE MATRÍCULA 2017 MEDIANTE EL SIAGIE
Requerimientos del sistema.
APROBACIÓN DE NÓMINAS DE MATRÍCULA 2017 MEDIANTE EL SIAGIE
Auditoría Informática Informe de auditoría informática
EJERCICIO DE MAXIMIZACIÓN  TEORIA NEOCLASICA:  La maximización se expresa en la búsqueda del optimo que puede representarse como el beneficio en el caso.
DISEÑO E IMPLEMENTACIÓN DE UN SISTEMA DE MONITOREO DE ESTACIONES GSM, UMTS, LTE CON EQUIPOS NOKIA DE LA RED CELULAR MÓVIL DE LA OPERADORA MOVISTAR A NIVEL.
Especificación de Requisitos
RECURSOS DE GENERACIÓN
Instructivo para el ingreso a Aplicaciones WEB - Encuestas
Blue Watch: Un método balanceado para el desarrollo de software
Diagrama de flujo y algoritmo
Archivo.
Verificación y Validación de Software
MINIESPECIFICACIONES
4.2 Cumplimiento de Especificación en los Requerimientos
Danny Frank Otero Arrascue Ingeniería de Requisitos / Requerimientos Advisor: MEJIA CABRERA HEBER IVAN.
ENTRAMOS A LA LIGA QUE SE MUESTRA Y DESCARGAMOS EL ANDROID STUDIO.
En este periodo el analista se esfuerza por comprender la información que necesitan los usuarios para realizar su trabajo de la manera correcta.
LOCALIZACIÓN POPAYAN COMUNA 6 LOTE PROYECTO ARQUITECTONICO UBICACIÓN GENERAL EL TERRENO SE ENCUENTRA UBICADO EN EL BARRIO CALICANTO, EN LA COMUNA # 6 DE.
Planificación de Mantenimiento Durango, Dgo Noviembre’2007.
INTRODUCCIÓN A UML Y AL ADOO 1 Diagramas en UML ◦Diagramas de casos de uso ◦Diagramas de clases y objetos ◦Diagramas de secuencia ◦Diagramas de colaboración.
Elemento de diseño Diseño de interfaces. ¿Que es un diseño en informática? O La palabra diseño se usa para referirse como el proceso de programar, proyectar,
PLAN ESTRATÉGICO. PLAN ESTRATÉGICO GESTIÓN DE LA IDENTIDAD Y LA DIVERSIDAD La documentación de las personas garantiza que estas tengan acceso a los.
LEGISLACIÓN TURISTICA L. en D. Citlali Lara Fuentes 12/01/18
“Comprometidos con la Seguridad y Salud Laboral”
Tomado de: Dra. Ma. Elena Morales Modenesi
Diseño E Implementación En Delphi Del Caso De Posicionamiento 2D
Manual del Usuario Todos los derechos reservados ©.
Planificación y cableado de redes
CONTACT CENTER Febrero de 2015
DISEÑO DEL SISTEMA MIRIAM MEZA PONCE.
Tema 7 LOS ESPACIOS DE SERVICIOS
ASESORÍA PARA REGISTRO NACIONAL DE TURISMO (RNT)
NOM-002-STPS-2010 CONDICIONES DE SEGURIDAD PARA LA PREVENCIÓN Y PROTECCIÓN CONTRA INCENDIOS EN LOS CENTROS DE TRABAJO.
Norma IEC 1131 Norma IEC 1131 en STEP 7 NORMA IEC 1131 EN STEP 7
Registro.
Orinoquia: ubicación departamentos y sitios turísticos.
Casos de Uso Análisis de requisitos con casos de uso.
> Aplicaciones de la Longitud de Arco  Dos engranajes en contacto.
IEEE-STD PRÁCTICA RECOMENDADA PARA LA ESPECIFICACIÓN DE REQUERIMIENTOS DE SOFTWARE.
PRESENTACION DE INGENIERIA ORIENTADA A OBJETOS. INTRODUCCION. ¿ Qué es UML ?. UML, por sus siglas en Ingles, Unified Modeling Languaje.(Lenguaje Unificado.
SÍ NO NO SÍ SÍ NO NO SÍ NO SÍ
Clase
INTRODUCCIÓN A UML.  QUE ES UML?  PARA QUE SE UTILIZA  COMPONENTES  DIAGRAMAS.
PRUEBAS DE CAJA NEGRA. -Internationa Software Testing Qualification Board (ISTQB) Internationa Software Testing Qualification Board (ISTQB) Técnica de.
-USO DE GESTOR WEB DIRECTORES-
Transcripción de la presentación:

METODOS FORMALES Integrantes : Caceres Zea Rarold Herrera Rivera Jerson Luna Calderón Angel Especificación Formal con VDM ++ Aplicación WEB de Turismo

CASO DE ESTUDIO Aplicativo web que permite a un usuario registrar una ruta turística que involucra diferentes locaciones.

ESPECIFICACION, REQUERIMIENTOS DEL SISTEMA Un Usuario puede registrar sus rutas turísticas Las rutas deben contener al menos 2 locaciones visitadas La ubicación y posicionamiento de las locaciones son de importancia, esta ubicación determinada por su latitud y longitud debe cumplir que, la latitud para un locación de estar en el rango de -90 a 90, y la longitud debe estar comprendida entre -180 a 180.

IDENTIFICACION Locación Rutas Usuario

DEPENDENCIAS UsuarioRuta Dos o mas Locaciones

USUARIO Contiene : Nombre de usuario Rutas que registro el usuario

RUTA Contiene : Descripción de la ruta Locaciones que involucran la Ruta

LOCACIONES Contiene : Descripción de la locación Longitud(posicionamiento) Latitud(posicionamiento)

INVARIANTES LOCACIONES -90 <= Latitud <= <= Longitud <= 180 RUTA Locaciones >= 2

DIAGRAMA DE CLASES