393 search results - page 5 / 79 » Source transformation in software engineering using the TXL ... |
WCRE
1993
IEEE
13 years 11 months ago
1993
IEEE
Program transformation systems provide one means of formally deriving a program from its speci cation. The main advantage of this development method is that the executable program...
FASE
2001
Springer
14 years 3 days ago
2001
Springer
Abstract. Collaboration diagrams as described in the official UML documents specify patterns of system structure and interaction. In this paper, we propose their use for specifying...
LCPC
2004
Springer
14 years 29 days ago
2004
Springer
Cetus is a compiler infrastructure for the source-to-source transformation of programs. Since its creation nearly three years ago, it has grown to over 12,000 lines of Java code, b...
OOPSLA
2004
Springer
14 years 29 days ago
2004
Springer
This demonstration will feature overviews of the C-SAW and GenAWeave projects. The first half of the presentation will introduce the concept of two-level aspect weaving, which uni...
ICSM
1999
IEEE
13 years 12 months ago
1999
IEEE
The FermaT transformation system, based on research carried out over the last twelve years at Durham University and Software Migrations Ltd., is an industrial-strength formal tran...