Descargar la presentación
La descarga está en progreso. Por favor, espere
Publicada porangel luna Modificado hace 6 años
1
METODOS FORMALES Integrantes : Caceres Zea Rarold Herrera Rivera Jerson Luna Calderón Angel Especificación Formal con VDM ++ Aplicación WEB de Turismo
2
CASO DE ESTUDIO Aplicativo web que permite a un usuario registrar una ruta turística que involucra diferentes locaciones.
3
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.
4
IDENTIFICACION Locación Rutas Usuario
5
DEPENDENCIAS UsuarioRuta Dos o mas Locaciones
6
USUARIO Contiene : Nombre de usuario Rutas que registro el usuario
7
RUTA Contiene : Descripción de la ruta Locaciones que involucran la Ruta
8
LOCACIONES Contiene : Descripción de la locación Longitud(posicionamiento) Latitud(posicionamiento)
9
INVARIANTES LOCACIONES -90 <= Latitud <= 90 -180 <= Longitud <= 180 RUTA Locaciones >= 2
10
DIAGRAMA DE CLASES
Presentaciones similares
© 2024 SlidePlayer.es Inc.
All rights reserved.