Conceptual Integrity of Software Systems: Architecture, Abstraction and Algebra.
Iaakov ExmanPublished in: SEKE (2017)
Keyphrases
- software systems
- software architecture
- high assurance
- software engineering
- dynamic reconfiguration
- source code
- software development
- software design
- software maintenance
- multi agent systems
- software components
- software developers
- functional requirements
- software evolution
- linux kernel
- software engineers
- query language
- product lines
- design patterns
- embedded systems
- maintenance activities
- software intensive systems
- high level
- artificial intelligence
- cooperative
- database