Skip to main content
SpringerLink
Log in

Software Construction by Stepwise Feature Introduction

  • Conference paper
  • First Online:
ZB 2002:Formal Specification and Development in Z and B (ZB 2002)

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

Included in the following conference series:

Abstract

We study a method for software construction that is based on introducing new features to an evolving system one by one. A layered software architecture is proposed to support this method. We show how to describe the software with UML diagrams. We provide an exact semanticsfor the UML diagramsemplo yed in the software architecture, using refinement calculusasthe logical framework and show how to reason about software correctness in terms of these UML diagrams.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • 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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. R.J. Back. Correctness Preserving Program Refinements: Proof Theory and Applications, volume 131 of Mathematical Centre Tracts. Mathematical Centre, Amsterdam, 1980.

    Google Scholar 

  2. R.J. Back. A calculusof refinementsfor program derivations. Acta Informatica, 25:593–624, 1988.

    Article  MATH  MathSciNet  Google Scholar 

  3. .R.J. Back. Refinement diagrams. J. M. Morris and R. C. Shaw, editors, 4th Refinement Workshop, pages125–137, Cambridge, UK, January 1991. Springer-Verlag.

    Google Scholar 

  4. R.J. Back, L. Milovanov, I. Porres-Paltor and V. Preoteasa. A Case Study in Extreme Programming and Stepwise Feature Introduction. TUCS Technical Report, in preparation.

    Google Scholar 

  5. R.J. Back, L. Milovanov and V. Preoteasa. Testing layered software. TUCS Technical Report, in preparation.

    Google Scholar 

  6. R.J. Back, A. Mikhajlova and J. von Wright. Class Refinement as Semantics of Correct Object Substitutability. Formal Aspects of Computing, 12: 18–40, 2000.

    Article  MATH  Google Scholar 

  7. R.J. Back and V. Preoteasa. Layered Specifications: A Case Study. TUCS Technical Report, in preparation.

    Google Scholar 

  8. R.J. Back and K. Sere. Superposition Refinement of Reactive Systems. Formal Aspects of Computing, 8(3):324–346, 1996.

    Article  MATH  Google Scholar 

  9. R.J. Back and J. von Wright. Refinement Calculus: A Systematic Introduction. Springer-Verlag, 1998.

    Google Scholar 

  10. R. J. Back and J. von Wright. Encoding, decoding, and data refinement. Formal Aspects of Computing, 2000.

    Google Scholar 

  11. K. Beck. Extreme Programming Explained Addison-Wesley, the XP Series, 1999.

    Google Scholar 

  12. G. Booch, J. Rumbaugh and I. Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, 1998.

    Google Scholar 

  13. E.W. Dijkstra. Notes on structured programming. In O. Dahl, E.W. Dijkstra, and C.A.R. Hoare, editors, Structured Programming. Academic Press, 1971.

    Google Scholar 

  14. M. Fowler. Refactoring: Improving the Design of Existing Code. Addison-Wesley Object Technology Series 2000.

    Google Scholar 

  15. B. Meyer. Object-Oriented Software Construction, Prentice Hall, second edition, 1997.

    Google Scholar 

  16. W.P. de Roever and K. Engelhardt. Data Refinement: Model-Oriented Proof Methods and their Comparison. Cambridge Tractsin Theoretical Computer Science 47, 1998.

    Google Scholar 

  17. C.C. Morgan. Programming from Specifications. Prentice-Hall, 1990.

    Google Scholar 

  18. N. Wirth. Program development by stepwise refinement. Communications of the ACM, 14:221–227, 1971.

    Article  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Åbo Akademi and Turku Centre for Computer Science, Lemminkainenk. 14, 20520, Turku, Finland

    Ralph-Johan Back

Authors
  1. Ralph-Johan Back
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Laboratoire LSR, IMAG, CNRS, 681,rue de la Passerelle, 38402, Saint Martin d’Hères Cedex, France

    Didier Bert

  2. SCISM, Centre for Applied Fromal Methods, SouthBank University, Borough Road, SE1 0AA, London, UK

    Jonathan P. Bowen

  3. Department of Computer Science, University of Essex, Wivenhoe Park, CO4 3SQ, Colchester, UK

    Martin C. Henson

  4. CAESER, The School of Computer Science and Engineering, The University of New South Wales, UNSW, 2052, Sydney, NSW, Australia

    Ken Robinson

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Back, RJ. (2002). Software Construction by Stepwise Feature Introduction. In: Bert, D., Bowen, J.P., Henson, M.C., Robinson, K. (eds) ZB 2002:Formal Specification and Development in Z and B. ZB 2002. Lecture Notes in Computer Science, vol 2272. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45648-1_9

Download citation

  • DOI: https://doi.org/10.1007/3-540-45648-1_9

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-43166-4

  • Online ISBN: 978-3-540-45648-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation