Analyzing the Scrum Process Model with AVISPA.
Julio Ariel Hurtado AlegriaM. Cecilia BastarricaAlexandre BergelPublished in: SCCC (2010)
Keyphrases
- process model
- process mining
- business process
- business processes
- control flow
- petri net
- formal models
- project management
- business process models
- development process
- domain knowledge
- artificial intelligence
- information retrieval
- event logs
- databases
- software engineering
- workflow management systems
- workflow systems
- machine learning