Obtaining Structural Metrics of Z Specifications for Systems Development.
John BainbridgeRobin W. WhittyJohn WordsworthPublished in: Z User Workshop (1990)
Keyphrases
- systems development
- software requirements
- development process
- software development
- software engineering
- information systems development
- systems engineering
- information systems
- structural information
- software quality
- quality management
- total quality management
- functional requirements
- delay insensitive
- project management
- development methodologies
- written in natural language
- data sets
- formal specification
- specification language
- activity theory
- software systems
- high level
- web services