Sciweavers

3921 search results - page 13 / 785
» Transforming Models with ATL
Sort
View
TSMC
2010
13 years 4 months ago
Active Learning of Plans for Safety and Reachability Goals With Partial Observability
Traditional planning assumes reachability goals and/or full observability. In this paper, we propose a novel solution for safety and reachability planning with partial observabilit...
Wonhong Nam, Rajeev Alur
MDAFA
2004
Springer
111views Hardware» more  MDAFA 2004»
14 years 3 months ago
Model Transformation Language MOLA
The paper describes a new graphical model transformation language MOLA. The basic idea of MOLA is to merge traditional structured programming as a control structure with pattern-ba...
Audris Kalnins, Janis Barzdins, Edgars Celms
OOPSLA
2009
Springer
14 years 4 months ago
Supporting model evolution through demonstration-based model transformation
Model evolution is often supported by writing model transformation rules in specialized languages. This presents challenges to those who are unfamiliar with model transformation l...
Yu Sun
IESA
2007
13 years 11 months ago
Model Transformations with Reference Models
In this paper we introduce and explore an extension to the existing paradigm of model transformation. Specifically, we extend existing model transformation approaches by consideri...
Willem-Jan van den Heuvel, Manfred A. Jeusfeld
MBUI
2004
133views User Interface» more  MBUI 2004»
13 years 11 months ago
From Models to Interactive Systems Tool Support and XIML
user interface application model dialogue model Design Design Transformation by patterns Transformation by patterns class diagram task model l use model b.-object model device mod...
Peter Forbrig, Anke Dittmar, Daniel Reichart, Dani...