Methodology for the Specification of Software Systems: From Formal Requirements to Algebraic Design Specifications.
Hartmut EhrigWerner FeyPublished in: GI Jahrestagung (1981)
Keyphrases
- software systems
- requirements specification
- software requirements
- functional requirements
- requirements engineering
- software design
- software engineering
- software architecture
- specification language
- software development
- source code
- complex software systems
- systems development
- software components
- design patterns
- development process
- metamodel
- development effort
- formal specification
- software maintenance
- object oriented systems
- software testing
- high assurance
- software intensive systems
- component based software
- multi agent systems
- formal language
- software evolution
- goal oriented
- software projects
- software engineers
- machine learning
- legacy software
- design process
- decision making