Show simple item record

dc.contributor.authorLetelier Torres, Patricio 
dc.contributor.authorSánchez Palma, Pedro 
dc.contributor.authorRamos Salavert, Isidro 
dc.date.accessioned2009-02-18T12:37:28Z
dc.date.available2009-02-18T12:37:28Z
dc.date.issued1999-03
dc.identifier.citationLETELIER, 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-5es
dc.identifier.isbn9968-32-000-5
dc.description.abstractLas 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 de fórmulas expresadas mediante una variante de lógicadinámica. Este trabajo presenta un ambiente integrado para el modelado conceptual basado en OASIS, orientado especialmente a la especificación incremental y validación mediante animación.es
dc.description.sponsorshipEste trabajo está financiado por el proyecto MENHIR de la Comisión Interministerial de Ciencia y Tecnología, con referencia TIC97-0593-C05-01.es
dc.formatapplication/pdf
dc.language.isospaes
dc.publisherCentro de Información Tecnológica (Chile)es
dc.rightsAtribución-NoComercial-SinDerivadas 3.0 España*
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/3.0/es/*
dc.titleUn ambiente para especificaciones incremental y validación de modelos conceptualeses
dc.typeinfo:eu-repo/semantics/conferenceObjectes
dc.subjectOASISes
dc.subjectModelos conceptualeses
dc.subjectLógica Deónticaes
dc.subjectEntornos CASEes
dc.subject.otherLenguajes y Sistemas Informáticoses
dc.identifier.urihttp://hdl.handle.net/10317/714


Files in this item

untranslated

This item appears in the following Collection(s)

Show simple item record

Atribución-NoComercial-SinDerivadas 3.0 España
Except where otherwise noted, this item's license is described as Atribución-NoComercial-SinDerivadas 3.0 España