Developing formal object-oriented requirements specifications: A model, tool and technique

The creation of a requirements specification for systems development has always been a difficult problem and continues to be a problem in the object-oriented software development paradigm. The problem persists because there is a paucity of formal, object-oriented specification models that are seamle...

Full description

Saved in:
Bibliographic Details
Published in:Information systems (Oxford) 1995-06, Vol.20 (4), p.273-289
Main Authors: Jackson, Robert B., Embley, David W., Woodfield, Scott N.
Format: Article
Language:English
Subjects:
Applied sciences
Computer science
control theory
systems
Computer Software Development
Computer System Design
Design Requirements
Evaluation Methods
Exact sciences and technology
Formative Evaluation
model refinement
Object Orientation
Object oriented technology
Prototypes
rapid prototyping
Requirements specification
Software
Software engineering
specification model
Specifications
Systems development
User Needs (Information)
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:The creation of a requirements specification for systems development has always been a difficult problem and continues to be a problem in the object-oriented software development paradigm. The problem persists because there is a paucity of formal, object-oriented specification models that are seamlessly integrated into the development cycle and that are supported by automated tools. Here, we present a formal object-oriented specification model (OSS), which is an extension of an object-oriented analysis model (OSA), and which is supported by a tool (IPOST) that automatically generates a prototype from an OSA model instance, lets the user execute the prototype, and permits the user to refine the OSA model instance to generate a requirements specification. This technique leverages the benefits of a formal model, an object-oriented model, a seamless model, a graphical diagrammatic model, incremental development, and CASE tool support to facilitate the development of requirements specifications.
ISSN:0306-4379
1873-6076
DOI:10.1016/0306-4379(95)00014-U