5525 search results - page 45 / 1105 » Verification of Model Transformations |
111
Voted
DATE
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper addresses an XML-based design environment, which provides a powerful basis for the manipulation of hardware design descriptions. The contribution of the paper is a flex...
113
Voted
AGTIVE
2007
Springer
15 years 8 months ago
2007
Springer
We present the EMF Model Transformation framework (EMT), which supports the rule-based modification of EMF models. Model transformation rules are defined graphically and compiled...
108
Voted
ENTCS
2006
15 years 2 months ago
2006
The CIRCA system automatically synthesizes hard real-time discrete event controllers from plant and environment descriptions. CIRCA's automatically-synthesized controllers pr...
156
Voted
PERCOM
2010
ACM
15 years 15 days ago
2010
ACM
In autonomic networks, the self-configuration of network entities is one of the most desirable properties. In this paper, we show how formal verification techniques can verify the ...
134
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Message Sequence Charts (MSCs) are an appealing visual formalism mainly used in the early stages of system design to capture the system requirements. However, if we move towards a...