Search among the 169024 resources available in the repository
dc.date.accessioned | 2012-08-13T12:19:32Z | |
dc.date.available | 2012-08-13T12:19:32Z | |
dc.date.issued | 2010 | |
dc.identifier.uri | http://sedici.unlp.edu.ar/handle/10915/19533 | |
dc.description.abstract | 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. | es |
dc.format.extent | 400-402 | es |
dc.language | es | es |
dc.subject | SOFTWARE ENGINEERING | es |
dc.subject | Ingeniería del Software | es |
dc.subject | Métodos Formales | es |
dc.subject | Especificación | es |
dc.subject | Requisitos | es |
dc.subject | Lenguaje Natural | es |
dc.title | Especificación de requisitos: de lo informal a lo formal | es |
dc.type | Objeto de conferencia | es |
sedici.creator.person | Dasso, Aristides | es |
sedici.creator.person | Funes, Ana | es |
sedici.description.note | Eje: Ingeniería de Software | es |
sedici.subject.materias | Ciencias Informáticas | es |
sedici.description.fulltext | true | es |
mods.originInfo.place | Red de Universidades con Carreras en Informática (RedUNCI) | es |
sedici.subtype | Objeto de conferencia | es |
sedici.rights.license | Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) | |
sedici.rights.uri | http://creativecommons.org/licenses/by-nc-sa/2.5/ar/ | |
sedici.date.exposure | 2010-05 | |
sedici.relation.event | XII Workshop de Investigadores en Ciencias de la Computación | es |
sedici.description.peerReview | peer-review | es |