A Reflexive Formal Software Process Model.

Jin Sa Brian Warboys

Published in: EWSPT (1995)

Keyphrases

process model
formal models
software process
control flow
process mining
design patterns
business process
business processes
software systems
source code
event logs
petri net
software development
user interface
formal methods
workflow technology
formal model
web server
life cycle