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

DOI10.1007/PL00010354zbMath1003.68721MaRDI QIDQ1614947

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

Publication date: 10 September 2002

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

zbMATH Keywords

verificationvalidationrequirements engineeringactivity graphs

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Theory of software (68N99)

This page was built for publication: Coupling use cases and class models as a means for validation and verification of requirements specifications