ISSN:
1573-7535
Keywords:
formal development
;
requirements specification
;
object-oriented analysis
;
LOTOS
;
user-centred model
Source:
Springer Online Journal Archives 1860-2000
Topics:
Computer Science
Notes:
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.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1023/A:1008752609513
Permalink