Systematic Development of Formal Software Process Models.
Wolfgang DeitersVolker GruhnWilhelm SchäferPublished in: ESEC (1989)
Keyphrases
- process model
- software process
- process mining
- code generator
- control flow
- development process
- formal models
- event logs
- business process
- business processes
- software developers
- design patterns
- petri net
- software engineering
- software testing
- software systems
- user interface
- machine learning
- design tools
- reference models
- development environment
- architectural models
- source code
- business process models
- software components
- rapid prototyping
- requirements engineering
- knowledge acquisition
- software development
- knowledge representation
- expert systems
- artificial intelligence