Several design patterns are defined to make systems more flexible and extensible. The main goal of this work is to show how the representation of these kind of patterns, which we refer to as ...

The Design and Implementation of a Query Platform and Simulation Tool for the Analysis of UML State Machines Through Declarative Modeling Abstract Among the various aspects of the UML, a state machine ...

Developed in conjunction with the University of Paderborn (Germany), the UML/SysML-based hardware/software co-design solution utilizes an enhanced SysML profile linked to a SystemC code generator ...