MBase: Representing Knowledge and Context for the Integration of Mathematical Software Systems.
Michael KohlhaseAndreas FrankePublished in: J. Symb. Comput. (2001)
Keyphrases
- software systems
- representing knowledge
- software engineering
- software development
- source code
- software maintenance
- software design
- software architecture
- software evolution
- software components
- metamodel
- software engineers
- knowledge representation
- knowledge base
- linux kernel
- software testing
- multi agent systems
- complex software systems
- component based software
- operating system
- logic programming
- expert systems
- database systems
- multi faceted
- case study
- maintenance activities
- artificial intelligence
- machine learning
- data mining