Sciweavers

3921 search results - page 62 / 785
» Transforming Models with ATL
Sort
View
CAISE
2004
Springer
14 years 3 months ago
MT-Flow - An Environment for Workflow-Supported Model Transformations in MDA
Abstract. Specification of systems in a software product line (product-line members) is often supported by domain-specific languages (DSLs) that provide pownguage abstractions for ...
Jernej Kovse, Theo Härder
MICCAI
2006
Springer
14 years 11 months ago
Transformation Model and Constraints Cause Bias in Statistics on Deformation Fields
This work investigates the effects of nonrigid transformation model and deformation constraints on the results of deformation-based morphometry (DBM) studies. We evaluate three pop...
Torsten Rohlfing
GTTSE
2007
Springer
14 years 4 months ago
Automated Merging of Feature Models Using Graph Transformations
Abstract. Feature Models (FMs) are a key artifact for variability and commonality management in Software Product Lines (SPLs). In this context, the merging of FMs is being recogniz...
Sergio Segura, David Benavides, Antonio Ruiz Cort&...
WORDS
2003
IEEE
14 years 3 months ago
Weaving Aspects into Real-Time Operating System Design Using Object-Oriented Model Transformation
Despite of the proliferation of object-oriented and component technology, their application to real-time operating systems (RTOS) has been limited since most design concerns in RT...
Jiyong Park, Saehwa Kim, Seongsoo Hong
IFM
2010
Springer
147views Formal Methods» more  IFM 2010»
13 years 8 months ago
Symbolic Model-Checking of Optimistic Replication Algorithms
Abstract. The Operational Transformation (OT) approach, used in many collaborative editors, allows a group of users to concurrently update replicas of a shared object and exchange ...
Hanifa Boucheneb, Abdessamad Imine, Manal Najem