Applications Rahma Ben Ayed School of Engineering University of Tunis II...  Home/Search
Context
Related
| cs.man.ac.uk/pub/T...S9861ayed.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.man.ac.uk/pub/TR...UMCS9861 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Traditional programming calculi focus on transforming a specification into a program. With the advent of such recent paradigms as white box reuse, component based software development, and reengineering, and with the continued predominance of software maintenance, less and less software engineering activity nowadays deals with straightforward development. More and more, software products are derived by combining, merging, or adapting existing components. In this paper we present a calculus that ... (Update)
Similar documents (at the sentence level):
56.7%: A Calculus of Program Adaptation and Its Applications - Ayed, Desharnais, Frappier.. (1998) (Correct)
16.4%: A Calculus of Program Modifications - Mili, Frappier, Desharnais, Mili (1997) (Correct)
10.3%: A Relational Basis for Program Construction by Parts - Frappier (1995) (Correct)
Active bibliography (related documents): More All
0.5: A Formalization of the B-Method in Coq and PVS - Jean Paul Bodeveix (Correct)
0.4: A Calculus of Program Transformations and Its Applications - Rahma Ben (Correct)
0.1: Defining and Applying Measures of Distance Between.. - Jilani, Desharnais, Mili (1999) (Correct)
Similar documents based on text: More All
0.3: Capturing Pointer Semantics and Scoping Rules - Ayed, Mili (Correct)
0.3: A Relational Calculus for Software Reuse - Frappier, Ayed (1995) (Correct)
0.3: Combining Fault Avoidance, Removal and Tolerance: An.. - Cukic, Fuhrman, Mili.. (1998) (Correct)
BibTeX entry: (Update)
@misc{ ben-calculus,
author = "Applications Rahma Ben",
title = "A Calculus of Program Transformations and Its",
url = "citeseer.ist.psu.edu/691234.html" }
Citations (may not include all citations):108 Communications of the ACM (context) - Hoare, programming - 1987
76 A Practical Theory of Programming (context) - Hehner - 1993 ACM DBLP
41 Data refinement of predicate transformers (context) - Gardiner, Morgan - 1991 ACM DBLP
12 A calculus for predicative programming - Sekerinski - 1992 ACM DBLP
6 A calculus of program construction by parts (context) - Frappier, Desharnais et al. - 1996
6 Behavioral specifications in object oriented programming (context) - Skuce, Mili - 1995
2 A lattice theoretical basis for program refinement (context) - Von Wright - 1990
Documents on the same site (ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-98-6-1.html): More
Using Decision Procedures to Build Domain-Specific Deductive .. - Van Baalen, Roach (Correct)
Inferring and Compiling Termination for Constraint Logic.. - Ebastien Hoarau Fred (1998) (Correct)
The Use of Renaming in Composing General Programs - Antonio Brogi Simone (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC