Author: Clark R.G.
Publisher: Springer Publishing Company
ISSN: 0928-8910
Source: Automated Software Engineering, Vol.6, Iss.3, 1999-07, pp. : 217-232
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
There is a wide gap between informal requirements and a formal object-oriented specification. To help bridge this gap, we propose that a formal and executable user-centred model should be constructed initially. The user-centred model, which specifies the behaviour that the environment expects from the system, is expressed in terms of agent views and gives very early feedback to the requirements' capture process. Once the user-centred model has been validated with respect to the environment, it can be used as a step in the construction and validation of the formal object-oriented specification.
Related content
Program Synthesis from Formal Requirements Specifications Using APTS
By Leonard E.I.
LISP and Symbolic Computation, Vol. 16, Iss. 1-2, 2003-03 ,pp. :
Understanding and exploring formal specifications
By Siddiqi J. Morrey I. Hibberd R. Buckberry G.
Annals of Software Engineering, Vol. 6, Iss. 1-4, 1998-01 ,pp. :