Overview of Algebraic Specification Languages Environments and Tools, and Algebraic Specifications of Software Systems.
Hartmut EhrigIngo ClaßenPublished in: Bull. EATCS (1990)
Keyphrases
- software systems
- specification languages
- formal specification
- software components
- software developers
- functional requirements
- software engineering
- software engineers
- source code
- software development
- complex software systems
- software requirements
- design patterns
- software design
- software maintenance
- software architecture
- software repositories
- object oriented systems
- software evolution
- software artifacts
- development effort
- software testing
- metamodel
- component based software
- real world
- development environments
- linux kernel
- legacy software systems
- specification language
- software quality
- building blocks
- open source
- end users
- information systems