1099 search results - page 54 / 220 » Using Transformation Systems for Software Maintenance and Re... |
CSMR
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper describes an approach for the migration of supervisory machine control architectures. This migration, from a paradigm based on finite-state machines to a paradigm base...
158
Voted
PLDI
2011
ACM
14 years 5 months ago
2011
ACM
Software modifications are often systematic—they consist of similar, but not identical, program changes to multiple contexts. Existing tools for systematic program transformati...
147
Voted
JOT
2010
15 years 1 months ago
2010
Abstract We propose a dependence-based representation for object-oriented programs, named Call-based Object-Oriented System Dependence Graph (COSDG). Apart from structural features...
126
Voted
EUROMICRO
1996
IEEE
15 years 6 months ago
1996
IEEE
Transformational design integrates design and verification. It combines "correctness by construciion" and design creativity by the use ofpre-proven behaviour preserving ...
100
Voted
COMPSAC
2002
IEEE
15 years 7 months ago
2002
IEEE
It is well understood that using a software component methodology can simplify the development and maintenance of systems. Web services allow this vision to be extended allowing c...