12981 search results - page 554 / 2597 » Model Checking (Abstract) |
135
click to vote
EWSA
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, we propose a new approach to model-driven development, which we call introspective model-driven development (IMDD). This approach relies heavily on some well-underst...
208
click to vote
BIRTHDAY
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. The Object Constraint Language (OCL) can be used to capture strucnstraints in the context of the abstract syntax of modelling languages (metamodels) defined in the MOF me...
187
click to vote
JCST
2008
15 years 7 months ago
2008
A cellular model based on the Incrementally Modular Abstraction Hierarchy (IMAH) is a novel model that can represent the architecture of and changes in cyberworlds, preserving inva...
169
click to vote
AUTOMOTIVEUI
2009
ACM
16 years 1 months ago
2009
ACM
In this paper we present an approach for creating user infrom abstract representations for the automotive domain. The approach is based on transformations between different user ...
155
click to vote
ICESS
2007
Springer
16 years 1 months ago
2007
Springer
Embedded software requires concurrency formalisms other than threads and mutexes used in traditional programming languages like C. Actor-oriented design presents a high level abstr...