Overview of algebraic specification languages, enviroments and tools, and algebraic specifications of software systems(Part 3).
Hartmut EhrigIngo ClaßenPublished in: Bull. EATCS (1990)
Keyphrases
- software systems
- specification languages
- formal specification
- software components
- software engineers
- software engineering
- functional requirements
- source code
- software developers
- software development
- software requirements
- software maintenance
- complex software systems
- requirements specification
- development effort
- design patterns
- software architecture
- metamodel
- software artifacts
- software quality
- software repositories
- component based software
- object oriented systems
- software design
- software projects
- software testing
- reverse engineering
- open source
- database systems
- product lines
- databases
- software evolution
- building blocks
- object oriented
- web services
- real world
- legacy software
- clone detection