"Representación de Requisitos mediante Redes de Petri Coloreadas"
Oscar López, Miguel Angel Laguna, Francisco J. García
Informe técnico: IT-DI-2002-0001
Documento completo: 
Pdf (590 Kb) .
Resumen: La documentación de requisitos juega un papel fundamental en el desarrollo de software de calidad para satisfacer las necesidades de los stakeholders. Si los documentos de requisitos se pueden generar a partir de elementos reutilizables (assets) que encapsulan el esfuerzo del desarrollo en diferentes niveles de abstracción, se pueden obtener especificaciones de mejor calidad y en un tiempo menor que si se desarrollan desde cero. En este informe técnico se presenta un metamodelo de requisitos y se propone una correspondencia entre ese metamodelo y los elementos de las redes de Petri coloreadas (CPN). De esta manera, con base en el soporte formal dado por las CPN para describir modelos se pretende establecer una técnica para organizar la información de los requisitos del sistema y así abordar su reutilización para el desarrollo de especificaciones de software.
|
Referencia bibliográfica (formato BibTeX) @TECHREPORT { IT-DI-2002-0001, author = { Oscar López and Miguel A. Laguna and Francisco J. García }, title = { Representación de Requisitos mediante Redes de Petri Coloreadas }, number = { IT-DI-2002-0001 }, year = { 2002 }, institution = { Dep. Informatica, Universidad de Valladolid } } |