[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to main content
Springer Nature Link
Log in

Mathematical Foundations for Program Transformations

  • Conference paper
  • First Online:
Logic-Based Program Synthesis and Transformation (LOPSTR 1998)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1559))

  • 203 Accesses

Abstract

Traditional programming paradigms revolve around mapping a single requirements specification into a program. As less and less software is developed from scratch, and more and more is developed from existing software artifacts, this traditional paradigm is growing less and less predominant. Paradigms that are gaining ground include:

  • Program adaptation, whereby a program is modified to satisfy a specification that it does not originally satisfy; this occurs in adaptive software maintenance and in white box software reuse.

  • Software Incrementation, whereby a program is modified to have an additional functional feature, while preserving its current functional properties.

  • Software Merging, whereby two (typically) similar software products are merged into a single product that cumulates the functional features of each; this arises typically when the two products are obtained by software incrementation from a common base version.

  • Software Composition, whereby various existing reusable assets are composed together (by means of application-specific code) to produce a prespecified software application; this arises in component-based software development.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
£29.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
GBP 19.95
Price includes VAT (United Kingdom)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
GBP 35.99
Price includes VAT (United Kingdom)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
GBP 44.99
Price includes VAT (United Kingdom)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

References

  1. N. Boudriga, F. Elloumi, and A. Mili. The lattice of specifications: Applications to a specification methodology. Formal Aspects of Computing, 4:544–571, 1992.

    Article  MATH  Google Scholar 

  2. C.A.R. Hoare et al. Laws of programming. Communications of the ACM, 30(8):672–686, 1987.

    Article  MATH  MathSciNet  Google Scholar 

  3. M. Frappier, J. Desharnais, and A. Mili. A calculus of program construction by parts. Science of Computer Programming, 6:237–254, 1996.

    Article  MathSciNet  Google Scholar 

  4. E.C.R. Hehner. A Practical Theory of Programming. Springer-Verlag, 1993.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Engineering, University of Tunis II, Belvedere, 1002, Tunisia

    R. Ben Ayed

  2. Laval University, Quebec City, PQ G1K 7P4, Canada

    J. Desharnais

  3. University of Sherbrooke, Sherbrooke, PQ J1K 2R1, Canada

    M. Frappier

  4. The Institute for Software Research, Fairmont, WV 26554, USA

    A. Mili

Authors
  1. R. Ben Ayed
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. J. Desharnais
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. M. Frappier
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. A. Mili
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Information Science, Uppsala University, Box 311, S-751 05, Uppsala, Sweden

    Pierre Flener

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ayed, R.B., Desharnais, J., Frappier, M., Mili, A. (1999). Mathematical Foundations for Program Transformations. In: Flener, P. (eds) Logic-Based Program Synthesis and Transformation. LOPSTR 1998. Lecture Notes in Computer Science, vol 1559. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48958-4_21

Download citation

  • DOI: https://doi.org/10.1007/3-540-48958-4_21

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-65765-1

  • Online ISBN: 978-3-540-48958-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation