RE
2008
Springer
14 years 1 months ago
2008
Springer
Requirements models are essential not just during system implementation, but also to manage system changes post-implementation. Such models should be supported by a requirements m...
KBSE
1998
IEEE
14 years 7 months ago
1998
IEEE
In this paper we describe a tools environment which automates the validation and maintenance of a requirements model written in many-sorted first order logic. We focus on: a trans...
ICFEM
2003
Springer
14 years 8 months ago
2003
Springer
Abstract. Errors in a requirements model have prolonged detrimental effects on reliability, cost, and safety of a software system. It is very costly to fix these errors in later ...