Diagrams
Petri net
Formal methods
Validation
Software development process
Knowledge
Science
Software development
Concurrency