News

We present a UML 1.5 profile named TURTLE (Timed UML and RT-LOTOS Environment) endowed with a formal semantics given in terms of RT-LOTOS. TURTLE relies on UML's extensibility mechanisms to enhance ...
In this paper we introduce a aspect oriented modeling based-approach to build real-time application, which consists of transforming standard application into real-time ones at design time. This is ...