A formal approach to program modification

Proceedings - Asia-Pacific Software Engineering Conference, APSEC

Volumn 2000-January, Issue , 2000, Pages 274-281

  Groves, L ^a  

^a VICTORIA UNIVERSITY OF WELLINGTON   (New Zealand)

Author keywords

Calculus; Command languages; Programming profession; Research and development management; Software development management; Software tools; Viscosity

Indexed keywords

CALCULATIONS; COMPUTER AIDED SOFTWARE ENGINEERING; RESEARCH AND DEVELOPMENT MANAGEMENT; SOFTWARE ENGINEERING; VISCOSITY;

CALCULUS; FORMAL APPROACH; PROGRAM MODIFICATIONS; PROGRAMMING PROFESSION; REFINEMENT CALCULI; SOFTWARE DEVELOPMENT MANAGEMENT;

SOFTWARE DESIGN;

EID: 84855196489     PISSN: 15301362     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/APSEC.2000.896709     Document Type: Conference Paper

References (11)

1. Ralph-Johan Back and Joakim von Wright. Refinement Calculus: A Systematic Introduction. Graduate Texts in Computer Science. Springer Verlag, 1998.
2. E. W. Dijkstra. A Discipline of Programming. Academic Press, 1976.
3. Lindsay Groves. Evolutionary Software Development in the Refinement Calculus. PhD thesis, Victoria University of Wellington, 2000.
4. Michael Jackson. Principles of Program Design. Academic Press, 1975.
5. K. Rustan M. Leino and Rajit Manohar. Joining specification statements. Theoretical Computer Science, 216:375-394, 1999.
6. Brendan Mahony. The least conjunctive refinement and promotion in the refinement calculus. Formal Aspects of Computing, 11:75-105, 1999.
7. Carroll Morgan. The specification statement. ACM Transactions on Programming Languages and Systems, 10(3):403-419, July 1988.
8. Carroll Morgan. Programming from Specifications. Prentice Hall, second edition, 1994.
9. Carroll Morgan and Trevor Vickers, editors. On the Refinement Calculus. Springer-Verlag, 1993.
10. J. I. Siddiqi and C. R. Roast. An empirical investigation into problem decomposition strategies used in program design. International Journal of Man-Machine Studies, 22:77-90, 1985.
11. J. I. Siddiqi and C. R. Roast. Viscosity as a metaphor for measuring modifiability. IEE Proceedings on Software Engineering, 144(4):215-223, August 1997.