A Case Study Involving the Use of Z to Aid Requirements Specification in the Software Engineering Course.
Patricia HassonStephen CooperPublished in: CSEE&T (2004)
Keyphrases
- requirements specification
- software engineering
- requirements engineering
- software systems
- software development
- reverse engineering
- development process
- software requirements
- case study
- design patterns
- software design
- programming language
- object oriented
- artificial intelligence
- software engineers
- activity diagrams
- knowledge management
- systems development
- expert systems