From an ERAE Requirements Specification to a PLUSS Algebraic Specificatiaon: A Case Study.
A. MauboussinH. PerdrixMichel BidoitMarie-Claude GaudelJacques HagelsteinPublished in: Algebraic Methods (1989)
Keyphrases
- requirements specification
- requirements engineering
- software engineering
- software requirements
- specification language
- software systems
- development process
- case study
- activity diagrams
- knowledge based systems
- systems development
- business process
- database
- software development
- information technology
- data analysis
- cooperative
- artificial intelligence
- real world