Developing Formal Object-oriented Requirements Specifications: A Model, Tool and Technique
Information Systems Volume 20, Number 4, ISSN 0306-4379
Presents a formal object-oriented specification model (OSS) for computer software system development that is supported by a tool that automatically generates a prototype from an object-oriented analysis model (OSA) instance, lets the user examine the prototype, and permits the user to refine the OSA model instance to generate a requirements specification. (Author/AEF)
Jackson, R.B. (1995). Developing Formal Object-oriented Requirements Specifications: A Model, Tool and Technique. Information Systems, 20(4), 273.