168 search results - page 2 / 34 » The Application of Correctness Preserving Transformations to... |
ICSM
1997
IEEE
13 years 9 months ago
1997
IEEE
Conventional software engineering tends to focus on a small part of the software life cycle: the design and implementation of a product. The bulk of the lifetime cost is in the ma...
GPC
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Large-scale distributed computing applications require concurrent programming models that support modular and compositional software development. The actor model supports...
COMPSAC
2003
IEEE
13 years 10 months ago
2003
IEEE
We propose an approach (based on Water Transformations) to migrate web applications between various web development frameworks. This migration process preserves the structure of t...
ICSE
2001
IEEE-ACM
13 years 9 months ago
2001
IEEE-ACM
Software maintenance costs dominate software engineering costs, partly because most such engineering is done manually. Program Transformation tools leverage an engineer-provided b...
EUROMICRO
1998
IEEE
13 years 9 months ago
1998
IEEE
Transformational design is aformal technique directed at design correctness. It integrates design and veriJication by the use of pre-proven behaviour preserving transformations as...