The Design of a Tool-Supported Graphical Notation for Timed CSP.

Phillip J. Brooke Richard F. Paige

Published in: IFM (2002)

Keyphrases

software architecture
modeling language
building blocks
constraint satisfaction problems
user friendly
visual representations
modeling tool
website
np hard
design process
constraint satisfaction
computer aided
conceptual model
design tools