Sciweavers

2186 search results - page 103 / 438
» Model Transformation Technologies in the Context of Modellin...
Sort
View
CAISE
2003
Springer
14 years 1 months ago
Empowering Databases for Context-Dependent Information Delivery
Abstract. We present a web-publishing platform that was developed by integrating key constructs and operations for web content delivery into the core of an object-oriented database...
Moira C. Norrie, Alexios Palinginis
ICST
2009
IEEE
13 years 5 months ago
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
Emine G. Aydal, Richard F. Paige, Mark Utting, Jim...
VL
2009
IEEE
126views Visual Languages» more  VL 2009»
14 years 2 months ago
A graphical approach for modeling time-dependent behavior of DSLs
Domain specific languages (DSLs) play a cornerstone Model-Driven Software Development. The abstract syntax of a DSL is usually defined by a metamodel, while inplace model transf...
José Eduardo Rivera, Francisco Durán...
AIED
2007
Springer
14 years 1 months ago
Lowering the Bar for Creating Model-Tracing Intelligent Tutoring Systems
The main goal of the work presented here is to allow for the broader dissemination of intelligent tutoring technology. To accomplish this goal, we have two clear objectives. First,...
Stephen Blessing, Stephen B. Gilbert, Steven Ourad...
SACMAT
2006
ACM
14 years 1 months ago
Information flow property preserving transformation of UML interaction diagrams
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
Fredrik Seehusen, Ketil Stølen