Sciweavers

3856 search results - page 309 / 772
» Models for Automated Earthmoving
Sort
View
ECBS
2006
IEEE
119views Hardware» more  ECBS 2006»
16 years 24 days ago
A Model Transformation Approach for Design Pattern Evolutions
The evolution of a design pattern typically involves the addition or removal of a group of modeling elements, such as classes, attributes, operations, and relationships. However, ...
Jing Dong, Sheng Yang, Kang Zhang
164
Voted
KBSE
2006
IEEE
16 years 23 days ago
Accurate Centralization for Applying Model Checking on Networked Applications
Software model checkers can be applied directly to single-process programs, which typically are multithreaded. Multi-process applications cannot be model checked directly. While m...
Cyrille Artho, Pierre-Loïc Garoche
VAMOS
2010
Springer
15 years 8 months ago
Using Incremental Consistency Management for Conformance Checking in Feature-Oriented Model-Driven Engineering
Feature-Oriented Model-Driven Engineering (FOMDE) is an approach that lies at the intersection of two complementary paradigms for software construction, Model Driven Engineering (M...
Roberto E. Lopez-Herrejon, Alexander Egyed, Salvad...
JIISIC
2007
15 years 8 months ago
A Minimal OCL-based Profile for Model Transformation
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...
Roxana S. Giandini, Gabriela Pérez, Claudia...
ENTCS
2006
153views more  ENTCS 2006»
15 years 6 months ago
Towards Model Transformation in Generated Eclipse Editor Plug-Ins
With the growing importance of model-driven development, the ability of transforming models into well-defined semantic domains becomes a key to automated code generation or verifi...
Karsten Ehrig, Claudia Ermel, Stefan Hänsgen