Dimensions of Formality: A Case Study for MKM in Software Engineering
Andrea KohlhaseMichael KohlhaseChristoph LangePublished in: CoRR (2010)
Keyphrases
- software engineering
- case study
- artificial intelligence
- reverse engineering
- software development
- test bed
- programming language
- software engineers
- software design
- object oriented
- software systems
- software architecture
- formal specification
- software projects
- development process
- software maintenance
- software reuse
- real time
- knowledge engineering
- design patterns
- software developers
- information systems
- formal methods
- multiple dimensions
- evolutionary algorithm
- data sets