Un ambiente para especificaciones incremental y validación de modelos conceptuales
Knowledge Area
Lenguajes y Sistemas InformáticosSponsors
Este trabajo está financiado por el proyecto MENHIR de la Comisión Interministerial de Ciencia y Tecnología, con referencia TIC97-0593-C05-01.Publication date
1999-03Publisher
Centro de Información Tecnológica (Chile)Bibliographic Citation
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-5Keywords
OASISModelos conceptuales
Lógica Deóntica
Entornos CASE
Abstract
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 ...
Collections
The following license files are associated with this item:
Social media