Sciweavers

1002 search results - page 15 / 201
» Test-Driven Development of Model Transformations
Sort
View
OOPSLA
2009
Springer
15 years 6 months 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
15 years 7 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»
14 years 8 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
136
Voted
IFM
2010
Springer
152views Formal Methods» more  IFM 2010»
14 years 11 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»
15 years 2 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