An integration of semi-formal and formal specifications: from use cases to RSL signatures

At early stages of software system development, system requirements often are expressed in natural language. There are a number of techniques to extract useful information from these documents to construct a more precise –and formal– document that expresses the system requirements. Some of these tec...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Funes, Ana, Dasso, Aristides
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 2012
Materias:
Ciencias Informáticas
Use cases,
Natural Language Processing
Formal Specification
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/124008
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares