Sciweavers

10790 search results - page 369 / 2158
» Using feature models to automate model transformations
Sort
View
ECMDAFA
2006
Springer
104views Hardware» more  ECMDAFA 2006»
15 years 10 months ago
The Epsilon Object Language (EOL)
Model-Driven Development requires model management languages and tools for supporting model operations such as editing, consistency checking, and transformation. At the core of the...
Dimitrios S. Kolovos, Richard F. Paige, Fiona Pola...
RE
1999
Springer
15 years 11 months ago
Formal Modeling of Space Shuttle Software Change Requests using SCR
This paper describes a feasibility study into the use of a formal requirements modeling method (SCR) to assist with Independent Verification and Validation of change requests for ...
Virginie Wiels, Steve M. Easterbrook
WCE
2007
15 years 8 months ago
Utilising Refactoring To Restructure Use-Case Models
—Use case refactoring is one of the recent software engineering techniques that aimed at synthesising and refining use case models. Two new types of use case refactoring are prop...
Ayman Issa
IEAAIE
2010
Springer
15 years 4 months ago
Relief Patterned-Tile Classification for Automatic Tessella Assembly
This paper presents the detection and classification part of an industrial machine for automated assembly of decorative tessellae over patterned tiles that have significant reliefs...
José Miguel Sanchiz Martí, Jorge Bad...
DAC
2002
ACM
16 years 7 months ago
Model design using hierarchical web-based libraries
Design tools can be profitably associated with libraries of reusable modeling components that will make the description and also the validation of the models much easier. Furtherm...
Fabrice Bernardi, Jean François Santucci