6794 search results - page 1022 / 1359 » Semantics of Visual Languages |
142
click to vote
ESOP
2009
Springer
15 years 11 months ago
2009
Springer
This paper explores the surprisingly rich design space for the simply typed lambda calculus with casts and a dynamic type. Such a calculus is the target intermediate language of th...
143
click to vote
MODELS
2009
Springer
15 years 11 months ago
2009
Springer
The standardized QVT Relations language, one cornerstone of Model-Driven Architecture (MDA), has not yet gained widespread use in practice, not least due to missing tool support in...
144
click to vote
SLE
2009
Springer
15 years 11 months ago
2009
Springer
Model Driven Engineering (MDE) is a promising paradigm for development. It raises the level of abstraction in software development by treating models as primary artifacts. The prac...
195
click to vote
FOAL
2009
ACM
15 years 11 months ago
2009
ACM
Aspect-oriented programming (AOP) fosters the coding of tangled concerns in separated units that are then woven together in the executable system. Unfortunately, the oblivious nat...
146
click to vote
EDOC
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract— In practice, the development of process-aware information systems suffers from a gap between conceptual business process models and executable workflow specifications...