Eliciting formal models of software engineering processes.
Dirk HöltjeNazim H. MadhavjiTilmann F. W. BruckhausWon-Kook HongPublished in: CASCON (1994)
Keyphrases
- formal models
- software engineering
- process model
- rule based systems
- formal model
- artificial intelligence
- development processes
- software systems
- design patterns
- programming language
- software development
- reverse engineering
- pattern recognition
- knowledge engineering
- case study
- software engineers
- information systems
- expert systems
- knowledge management
- real time
- database systems
- multi attribute
- formal methods
- neural network