Sciweavers

393 search results - page 1 / 79
» Source transformation in software engineering using the TXL ...
Sort
View
INFSOF
2002
89views more  INFSOF 2002»
13 years 4 months ago
Source transformation in software engineering using the TXL transformation system
Many tasks in software engineering can be characterized as source to source transformations. Design recovery, software restructuring, forward engineering, language translation, pl...
James R. Cordy, Thomas R. Dean, Andrew J. Malton, ...
STEP
2005
IEEE
13 years 10 months ago
TETE: A Non-Invasive Unit Testing Framework for Source Transformation
While the use of test-driven development as a debugging, pedagogic, and analytical methodology for objectoriented and procedural systems is well documented, it is a relatively une...
Derek M. Shimozawa, James R. Cordy
SIGSOFT
2004
ACM
13 years 10 months ago
Automating comprehensive safety analysis of concurrent programs using verisoft and TXL
In run-time safety analysis the executions of a concurrent program are monitored and analyzed with respect to safety properties. Similar to testing, run-time analysis is quite eď¬...
Jürgen Dingel, Hongzhi Liang
CASCON
1992
163views Education» more  CASCON 1992»
13 years 5 months ago
Practical metaprogramming
Metaprogramming is the process of specifying generic software source templates from which classes of software components, or parts thereof, can be automatically instantiated to pr...
James R. Cordy, Medha Shukla
CSMR
2007
IEEE
13 years 11 months ago
Using The Meta-Environment for Maintenance and Renovation
The Meta-Environment is a flexible framework for language development, source code analysis and source code transformation. We highlight new features and demonstrate how the syst...
M. G. J. van den Brand, Magiel Bruntink, G. R. Eco...