A Formal Approach to Component-Based Specification with Improved Requirements Traceability

Áreas de investigación:	Sin categoría	Año:	2004
Tipo de publicación:	Artículo en conferencia
Autores:	8, 2
Título del libro:	12th International Requirements Engineering Conference (RE), Doctoral Symposium
Dirección:	Kyoto, Japan
Mes:	Septiembre
BibTex:
@conference{LP04, author = "8,2", address = "Kyoto, Japan", booktitle = "12th International Requirements Engineering Conference (RE), Doctoral Symposium", month = "sep", publisher = "IEEE Computer Society Press", title = "{A} {F}ormal {A}pproach to {C}omponent-{B}ased {S}pecification with {I}mproved {R}equirements {T}raceability", year = "2004", }