81 search results - page 1 / 17 » Formal executable semantics for conformance in the MDE frame... |
ISSE
2010
13 years 3 months ago
2010
CIBSE
2009
ACM
13 years 11 months ago
2009
ACM
Model Driven Engineering (MDE) proposes a software development process in which software is built by constructing one or more models, and transforming these into other models. In t...
DAGSTUHL
2007
13 years 6 months ago
2007
act notation, so separating the abstract syntax and semantics of the language constructs from their different concrete notations. Although the foundation constituents of the MDE a...
SAC
2003
ACM
13 years 10 months ago
2003
ACM
A fundamental issue in the engineering of coordination models is n coordination abstractions that are correct with respect to the specification of the coordination model they imp...
ICMAS
1998
13 years 6 months ago
1998
This paper examines the issue of developing semantics for agent communication languages. In particular, it considers the problem of giving a verifiable semantics for such language...