276 search results - page 24 / 56 » Evaluating formal properties of feature diagram languages |
123
click to vote
AOSD
2010
ACM
15 years 6 months ago
2010
ACM
Over the last five years, several systems have been proposed to take distribution into account in Aspect-Oriented Programming. While they appeared to be fruitful to develop or im...
VLDB
2002
ACM
14 years 11 months ago
2002
ACM
Extensibility is one of the mayor benefits of object-relational database management systems. We have used this system property to implement a StateMachine Module inside an object-...
179
click to vote
POPL
2006
ACM
16 years 3 days ago
2006
ACM
In the spirit of Landin, we present a calculus of dependent types to serve as the semantic foundation for a family of languages called data description languages. Such languages, ...
117
click to vote
MODELS
2009
Springer
15 years 4 months ago
2009
Springer
Triple graph grammars (TGGs) are a formal and intuitive concept for the specification of model transformations. Their main advantage is an automatic derivation of operational rule...
138
click to vote
FORTE
2011
14 years 3 months ago
2011
We present a new, streamlined language of global types equipped with a trace-based semantics and whose features and restrictions are semantically justified. The multi-party sessio...