Clock constraint specification language: specifying clock constraints with UML/MARTE.
Frédéric MalletPublished in: Innov. Syst. Softw. Eng. (2008)
Keyphrases
- specification language
- formal specification
- programming language
- constraint language
- high speed
- description language
- linear constraints
- power consumption
- global constraints
- constraint solving
- requirements specification
- constraint networks
- software environment
- constraint sets
- search space
- cardinality constraints
- metamodel
- model checking
- software systems
- object oriented
- high level
- information systems
- uml diagrams
- database