Software construction by stepwise feature introduction

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2272, Issue , 2002, Pages 162-183

  Back, Ralph Johan ^a  

^a TURKU CENTRE FOR COMPUTER SCIENCE   (Finland)

Author keywords

[No Author keywords available]

Indexed keywords

SOFTWARE ARCHITECTURE;

EVOLVING SYSTEMS; LOGICAL FRAMEWORKS; SOFTWARE CONSTRUCTION; SOFTWARE CORRECTNESS; STEPWISE FEATURE INTRODUCTIONS; UML DIAGRAMS;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 84948169519     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45648-1_9     Document Type: Conference Paper

References (18)

1. R.J. Back. Correctness Preserving Program Refinements: Proof Theory and Applications, volume 131 of Mathematical Centre Tracts. Mathematical Centre, Amsterdam, 1980.
2. R.J. Back. A calculusof refinementsfor program derivations. Acta Informatica, 25:593–624, 1988.
3. R.J. Back. Refinement diagrams. J. M. Morris and R. C. Shaw, editors, 4th Refinement Workshop, pages 125-137, Cambridge, UK, January 1991. Springer- Verlag.
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.
5. R.J. Back, L. Milovanov and V. Preoteasa. Testing layered software. TUCS Technical Report, in preparation.
6. R.J. Back, A. Mikhajlova and J. von Wright. ClassRefinemen t asSeman ticsof Correct Object Substitutability. Formal Aspects of Computing, 12: 18-40, 2000.
7. R.J. Back and V. Preoteasa. Layered Specifications: A Case Study. TUCS Technical Report, in preparation.
8. R.J. Back and K. Sere. Superposition Refinement of Reactive Systems. Formal Aspects of Computing, 8(3):324–346, 1996.
9. R.J. Back and J. von Wright. Refinement Calculus: A Systematic Introduction. Springer-Verlag, 1998.
10. R. J. Back and J. von Wright. Encoding, decoding, and data refinement. Formal Aspects of Computing, 2000.
11. K. Beck. Extreme Programming Explained Addison-Wesley, the XP Series, 1999.
12. G. Booch, J. Rumbaugh and I. Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, 1998.
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.
14. M. Fowler. Refactoring: Improving the Design of Existing Code. Addison-Wesley Object Technology Series 2000.
15. B. Meyer. Object-Oriented Software Construction, Prentice Hall, second edition, 1997.
16. W.P. de Roever and K. Engelhardt. Data Refinement: Model-Oriented Proof Methods and their Comparison. Cambridge Tractsin Theoretical Computer Science 47, 1998.
17. C.C. Morgan. Programming from Specifications. Prentice-Hall, 1990.
18. N. Wirth. Program development by stepwise refinement. Communications of the ACM, 14:221–227, 1971.