dc.creator | Dasso, Aristides | |
dc.creator | Funes, Ana | |
dc.date | 2010-05 | |
dc.date | 2010 | |
dc.date | 2012-08-13T12:19:32Z | |
dc.identifier | http://sedici.unlp.edu.ar/handle/10915/19533 | |
dc.description | Esta investigación se enmarca dentro del campo de la Ingeniería de Software, particularmente en lo que hace a la aplicación de metodologías formales y semi-formales de especificación de requisitos. A partir de una especificación de requisitos realizada en un lenguaje natural pasamos a una especificación en un lenguaje formal, por medio de reglas de transformación, inicialmente heurísticas, para en el futuro transformarlas en una aplicación de soporte al diseño de sistemas de software. | |
dc.description | Eje: Ingeniería de Software | |
dc.description | Red de Universidades con Carreras en Informática (RedUNCI) | |
dc.format | application/pdf | |
dc.format | 400-402 | |
dc.language | es | |
dc.relation | XII Workshop de Investigadores en Ciencias de la Computación | |
dc.rights | http://creativecommons.org/licenses/by-nc-sa/2.5/ar/ | |
dc.rights | Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) | |
dc.subject | Ciencias Informáticas | |
dc.title | Especificación de requisitos: de lo informal a lo formal | |
dc.type | Objeto de conferencia | |
dc.type | Objeto de conferencia | |