Un ambiente para especificaciones incremental y validación de modelos conceptuales
Ver/
Compartir
Métricas
Estadísticas
Ver Estadísticas de usoMetadatos
Mostrar el registro completo del ítemÁrea de conocimiento
Lenguajes y Sistemas InformáticosPatrocinadores
Este trabajo está financiado por el proyecto MENHIR de la Comisión Interministerial de Ciencia y Tecnología, con referencia TIC97-0593-C05-01.Fecha de publicación
1999-03Editorial
Centro de Información Tecnológica (Chile)Cita bibliográfica
LETELIER, Patricio, SÁNCHEZ, Pedro, RAMOS, Isidro. Un ambiente para especificaciones incremental y validación de modelos conceptuales. En: Workshop Iberoamericano de Ingeniería de Requisitos y Ambientes Software. IDEAS´99. (2º: Alajuela, Costa-Rica). Jornadas Iberoamericanas de Ingeniería de Requisitos y Ambientes Software. IDEAS´99. Alajuela, Costa Rica del 24 al 26 de marzo de 1999: Memorias. Cartago: Centro de Información Tecnológica. 1999. ISBN 9968-32-000-5Palabras clave
OASISModelos conceptuales
Lógica Deóntica
Entornos CASE
Resumen
Las dificultades encontradas en la captura, especificación, verificación y validación de requisitos han impulsado variadas propuestas que mejoran dicho proceso. El modelo conceptual establece los requisitos funcionales del software y es uno de los resultados principales de dichas actividades, construyéndose en una pieza clave para las posteriores tareas en el desarrollo de software. Los métodos formales dotan de precisión y rigor al modelo conceptual, pero presentan dificultades en cuanto a su aplicación y comprensión por el usuario. Por otro lado, las técnicas de prototipación han ganado aceptación por su fácil aplicación y proximidad al usuario, pero en general carecen de exhaustividad y precisión. Actualmente, la animación de modelos conceptuales formales emerge como un enfoque capaz de aprovechar las ventajas de los métodos formales y de la prototipación. OASIS es un enfoque formal para el modelado conceptual OO. El comportamiento de un objeto en OASIS está determinado por un conjunto ...
Colecciones
El ítem tiene asociados los siguientes ficheros de licencia:
Redes sociales