687 search results - page 7 / 138 » Specification and Verification of Model Transformations Usin... |
ENTCS
2008
13 years 7 months ago
2008
When thinking of MDE, the immediate understanding is that models drive software development, in the at the software is constructed by transforming models from higher levels of abs...
HICSS
2007
IEEE
14 years 1 months ago
2007
IEEE
This paper presents a graph transformation based approach to design pattern evolution. An evolution of a design pattern includes modifications of pattern elements, such as classes...
GC
2004
Springer
13 years 11 months ago
2004
Springer
This article summarises part of the work done during the first two years of the SOCS project, with respect to the task of modelling interaction amongst CL-based agents. It describe...
JSS
2006
13 years 7 months ago
2006
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...
FMCAD
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. In this paper we describe the formal specification and verification of the efficient algorithm for real-time model checking implemented in the model checker RAVEN. It was...