Sciweavers

1002 search results - page 15 / 201
» Test-Driven Development of Model Transformations
Sort
View
OOPSLA
2009
Springer
14 years 5 days ago
MT-scribe: a tool for recording and inferring model transformations
The traditional model transformation approach is to write transformation programs in a specialized language. Although such languages provide powerful capabilities to automate mode...
Yu Sun, Jeff Gray, Jules White
CSMR
2005
IEEE
14 years 1 months ago
Database Wrappers Development: Towards Automatic Generation
Wrapping databases allows them to be reused in formerly unplanned contexts, such as web-based applications or federated systems. Indeed, a wrapper can provide external clients of ...
Philippe Thiran, Jean-Luc Hainaut, Geert-Jan Hoube...
JDCTA
2010
122views more  JDCTA 2010»
13 years 2 months ago
The Financial Structure and High-Tech Industries Development in China
The transformation of economic development approach demands to develop high-tech industries, while high-tech industries can't develop without financial support, in which diff...
Liuyong Yang, Shensheng Mo, Anqi Zhou
IFM
2010
Springer
152views Formal Methods» more  IFM 2010»
13 years 5 months ago
Specification and Verification of Model Transformations Using UML-RSDS
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...
Kevin Lano, Shekoufeh Kolahdouz Rahimi
BPSC
2009
159views Business» more  BPSC 2009»
13 years 8 months ago
Concept-Driven Engineering for Supporting Different Views of Models
Abstract: This paper investigates the the development and evolution of concepts and the management of transformers, which adds semantics to the concepts. We illustrate how concepts...
Peggy Schmidt