Toward formal models of software engineering processes.
Bernd J. Krämer LuqiPublished in: J. Syst. Softw. (1991)
Keyphrases
- formal models
- software engineering
- process model
- formal model
- rule based systems
- programming language
- artificial intelligence
- software development
- development processes
- software process
- object oriented
- design patterns
- software systems
- software development processes
- software design
- software maintenance
- software engineers
- reverse engineering
- development process
- computational models
- real world
- knowledge engineering
- software projects
- business processes
- human computer interaction
- knowledge management
- requirements engineering
- fuzzy logic
- expert systems
- decision trees
- machine learning