Sciweavers

3706 search results - page 6 / 742
» The Transformational Approach to Program Development
Sort
View
111
Voted
FASE
1999
Springer
15 years 10 months ago
TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving
Christoph Lüth, Haykal Tej, Kolyang, Bernd Kr...
OOPSLA
2009
Springer
15 years 10 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
162
Voted
APSEC
2002
IEEE
15 years 10 months ago
An Automated Refactoring Approach to Design Pattern-Based Program Transformations in Java Programs
Software often needs to be modified for accommodating requirements changes through the software life cycle. To deal with several accidental requirements changes related to softwa...
Sang-Uk Jeon, Joon-Sang Lee, Doo-Hwan Bae
ECOOP
2009
Springer
16 years 18 days ago
Program Metamorphosis
Modern development environments support refactoring by providing atomically behaviour-preserving transformations. While useful, these transformations are limited in three ways: (i)...
Christoph Reichenbach, Devin Coughlin, Amer Diwan
167
Voted
ICFP
2007
ACM
16 years 5 months ago
Bidirectionalization transformation based on automatic derivation of view complement functions
Bidirectional transformation is a pair of transformations: a view function and a backward transformation. A view function maps one data structure called source onto another called...
Kazutaka Matsuda, Zhenjiang Hu, Keisuke Nakano, Ma...