687 search results - page 40 / 138 » Specification and Verification of Model Transformations Usin... |
122
Voted
CC
2009
Springer
14 years 10 months ago
2009
Springer
We present the architecture of the Rosser toolkit that allows optimisations to be specified in a domain specific language, then compiled and deployed towards optimising object prog...
94
Voted
SPLC
2008
15 years 1 months ago
2008
Model-driven software product lines are an emerging topic in research and industry, as they promise higher development speed and easier adaptability to customer needs. The generat...
122
Voted
JIISIC
2007
15 years 1 months ago
2007
The MDD (Model Driven Development) initiative covers a broad spectrum of research areas such as modeling languages, definition of transformation languages among models, and constr...
140
Voted
CAV
2009
Springer
15 years 4 months ago
2009
Springer
tic modalities for correctness [16]. The release described in this abstract is a complete rebuild of a preliminary experimental checker [14]. The model input language includes vari...
111
click to vote
ENTCS
2008
15 years 17 days ago
2008
Thanks to recent advances, modern proof assistants now enable verification of realistic sequential programs. However, regarding the concurrency paradigm, previous work essentially...