Overview of Algebraic Specification Languages Environments and Tools, and Algebraic Specifications of Software Systems.
Hartmut EhrigIngo ClaßenPublished in: Bull. EATCS (1989)
Keyphrases
- software systems
- software components
- specification languages
- formal specification
- software engineering
- software engineers
- software developers
- functional requirements
- source code
- complex software systems
- software requirements
- software design
- design patterns
- software maintenance
- software architecture
- component based software
- software development
- development effort
- object oriented systems
- metamodel
- software quality
- requirements specification
- real world
- linux kernel
- artificial intelligence
- software intensive systems
- end users
- software evolution
- software repositories
- cooperative
- expert systems
- database
- legacy software
- decision making
- database systems
- multi agent systems
- software projects
- xml documents
- web applications
- operating system
- software testing