Sciweavers

131 search results - page 8 / 27
» Model-Driven Design, Refinement and Transformation of Abstra...
Sort
View
ICECCS
2005
IEEE
89views Hardware» more  ICECCS 2005»
14 years 1 months ago
A Tool-Supported Approach to Testing UML Design Models
For Model Driven Development approaches to succeed, there is a need for model validation techniques. This paper presents an approach to testing designs described by UML class diag...
Trung T. Dinh-Trong, Nilesh Kawane, Sudipto Ghosh,...
JUCS
2010
135views more  JUCS 2010»
13 years 2 months ago
Model-driven Transformation and Validation of Adaptive Educational Hypermedia using CAVIAr
Abstract: Authoring of Adaptive Educational Hypermedia is a complex activity requiring the combination of a range of design and validation techniques. We demonstrate how Adaptive E...
Mark Melia, Claus Pahl
IAT
2010
IEEE
13 years 5 months ago
Modular JADE Agents Design and Implementation Using ASEME
ASEME is an emerging Agent Oriented Software Engineering (AOSE) methodology. The Model-Driven Engineering (MDE) paradigm encourages software modelers to automate the transition of...
Nikolaos I. Spanoudakis, Pavlos Moraitis
TEDU
2008
126views Education» more  TEDU 2008»
13 years 5 months ago
Online Learning and Clinical Procedures: Rapid Development and Effective Deployment of Game-Like Interactive Simulations
Abstract. Traditionally, medical education has used live patients to teach medical procedures. This carries a significant risk to patients. As learning technology advances, the ear...
Pablo Moreno-Ger, Carl Blesius, Paul Currier, Jos&...
EDBT
2006
ACM
124views Database» more  EDBT 2006»
14 years 7 months ago
Physical Design Refinement: The "Merge-Reduce" Approach
Abstract. Physical database design tools rely on a DBA-provided workload to pick an "optimal" set of indexes and materialized views. Such an approach fails to capture sce...
Nicolas Bruno, Surajit Chaudhuri