Compound Algebraic Implementations: An Approach to Stepwise Refinement of Software Systems.
Hartmut EhrigHans-Jörg KreowskiBernd MahrPeter PadawitzPublished in: MFCS (1980)
Keyphrases
- software systems
- software engineering
- source code
- software design
- software architecture
- software components
- software development
- software maintenance
- software developers
- multi agent systems
- software engineers
- software quality
- metamodel
- functional requirements
- object oriented systems
- linux kernel
- component based software
- software projects
- real world
- raw data
- operating system
- object oriented
- database systems
- software evolution
- software metrics
- e learning
- dynamic reconfiguration
- database