Coupling use cases and class models as a means for validation and verification of requirements specifications

DOI10.1007/PL00010354zbMath1003.68721MaRDI QIDQ1614947

Hans-Werner Six, Mario Winter, Georg Kösters

Publication date: 10 September 2002

Published in: Requirements Engineering (Search for Journal in Brave)

zbMATH Keywords

verification; validation; requirements engineering; activity graphs

Mathematics Subject Classification ID

68U99: Computing methodologies and applications

68N99: Theory of software