958 search results - page 41 / 192 » Model Transformation Languages and Their Implementation by B... |
126
click to vote
EDOC
2008
IEEE
15 years 3 months ago
2008
IEEE
Model Driven Development (MDD) aims to promote the role of modeling in Software Engineering. Enterprise systems and architectures are often modeled via multiple representations. F...
135
click to vote
SMI
2010
IEEE
14 years 11 months ago
2010
IEEE
In this article, we present a rule-based language dedicated to topological operations, based on graph transformations. Generalized maps are described as a particular class of graph...
APLAS
2006
ACM
15 years 7 months ago
2006
ACM
Abstract. Class extensions provide a fine-grained mechanism to define incremental modifications to class-based systems when standard subclassing mechanisms are inappropriate. To...
103
click to vote
PLILP
1995
Springer
15 years 4 months ago
1995
Springer
We use Girard's linear logic (LL) to produce a semantics for Gamma, a multiset transformation language. The semantics improves on the existing structured operational semantics...
104
click to vote
DAC
2002
ACM
16 years 2 months ago
2002
ACM
The ForSyDe methodology has been developed for system level design. In this paper we present formal transformation methods for the refinement of an abstract and formal system mode...