Concurrent Software Design Based on Constraints on State Diagrams.

Bogdan D. Czejdo Wiktor B. Daszczuk Jerzy Miescicki

Published in: CoRR (2017)

Keyphrases

software design
uml diagrams
software engineering
constraint satisfaction
educational software
software development
software systems
functional requirements
design patterns
object oriented design
neural network
metadata
state space
constrained optimization
mutual exclusion
dynamic constraints