671 search results - page 102 / 135 » Semantics Preserving Model Composition |
RTAS
2008
IEEE
14 years 4 months ago
2008
IEEE
A fundamental asset of a model-based development process is the capability of providing an automatic implementation of the model that preserves its semantics and, at the same time...
DATE
2003
IEEE
14 years 2 months ago
2003
IEEE
The ForSyDe methodology has been developed for system level design. Starting with a formal specification model, that captures the functionality of the system at a high abstractio...
APWEB
2011
Springer
13 years 4 months ago
2011
Springer
This paper proposes a paraconsistent and nonmonotonic extension of description logic by planting a nonmonotonic mechanism called minimal inconsistency in paradoxical description lo...
FMCO
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Many distributed applications can be understood in terms of components interacting in an open environment. This interaction is not always uniform as the network may consi...
ECMDAFA
2009
Springer
14 years 4 months ago
2009
Springer
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...