1715 search results - page 84 / 343 » Domain-Specific Program Checking |
114
click to vote
SE
2010
15 years 3 months ago
2010
: In this paper I explain the benefits of projectional language workbenches for product line engineering. The ability to extend programming languages with domain specific concepts,...
FMOODS
2006
15 years 3 months ago
2006
Abstract. We consider in this paper that a DSL (Domain Specific Language) may be defined by a set of models. A typical DSL is the ATLAS Transformation Language (ATL). An ATL progra...
92
Voted
SAC
2008
ACM
15 years 1 months ago
2008
ACM
Remote presentation is an interesting model for executing applications in mobile devices, since applications can be executed on a server and their interfaces displayed on mobile c...
104
click to vote
ACMSE
2010
ACM
15 years 11 days ago
2010
ACM
Developing software from models is a growing practice and there exist many model-based tools (e.g., model editors, model interpreters) for supporting model-driven engineering. Eve...
116
Voted
OOPSLA
2007
Springer
15 years 8 months ago
2007
Springer
Objects often define usage protocols that clients must follow in order for these objects to work properly. Aliasing makes it notoriously difficult to check whether clients and i...