Generating SystemC Implementations for Clock Constraints Specified in UML/MARTE CCSL.

Judith Peters Robert Wille Rolf Drechsler

Published in: ICECCS (2014)

Keyphrases

constraint language
constraint satisfaction
linear constraints
software engineering
efficient implementation
uml profile
conceptual modeling
database
constraint programming
high speed
database design
black box
constraint networks
formal methods
software systems
linear programming
class diagrams
uml models
real time