Object-oriented design, Jackson system development (JSD) specifications and concurrency.
M. Elizabeth C. HullAdib Zarea-AliabadiDavid A. GuthriePublished in: Softw. Eng. J. (1989)
Keyphrases
- object oriented design
- formal specification
- software design
- software engineering
- case study
- specification language
- design process
- object oriented
- concurrency control
- high level
- object oriented systems
- programming language
- knowledge management
- software development
- decision support
- information processing
- information technology
- expert systems
- cooperative
- code generation
- neural network