Towards MKM in the Large: Modular Representation and Scalable Software Architecture.
Michael KohlhaseFlorian RabeVyacheslav ZholudevPublished in: AISC/MKM/Calculemus (2010)
Keyphrases
- software architecture
- description language
- software engineering
- embedded software
- software systems
- distributed systems
- reference model
- architectural design
- functional requirements
- software evolution
- artificial intelligence
- quality attributes
- design patterns
- object oriented
- software development
- open source
- relational databases
- data mining
- change impact analysis