142 search results - page 1 / 29 » A UML 2-compatible language and tool for formal modeling rea... |
SAC
2006
ACM
14 years 1 months ago
2006
ACM
ArchiTRIO is a formal language, which complements UML 2.0 concepts with a formal, logic-based notation that allows users to state system-wide properties, both static and dynamic, ...
JUCS
2010
13 years 1 months ago
2010
Abstract: Model-Driven Architecture (MDA) presents a set of layered models to separate design concerns from platform concerns. The model executability for each model element is sti...
LCTRTS
1998
Springer
13 years 11 months ago
1998
Springer
The embedded real-time software systems encountered in applications such as telecommunications, aerospace, and defense typically tend to be large and extremely complex. It is cruc...
ISORC
2000
IEEE
13 years 10 months ago
2000
IEEE
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
FASE
2004
Springer
13 years 10 months ago
2004
Springer
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...