Retrenchment: An engineering variation on refinement

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

Volumn 1393, Issue , 1998, Pages 129-147

  Banach, R ^a   Poppleton, M ^a,b  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

^b Institute for Clean Growth and Future Mobility   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS;

B METHOD; ENGINEERING VARIATIONS; LEVELS OF ABSTRACTION;

ARTIFICIAL INTELLIGENCE;

EID: 84949220758     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0053358     Document Type: Conference Paper

References (24)

1. Abadi M., Lamport L. (1991); The Existence of Refinement Mappings. Theor. Comp. Sci. 82, 153-284.
2. Abrial J. R. (1996); The B-Book. Cambridge University Press.
3. Alur R., Henzinger T., Sontag E. (eds.) (1996); Hybrid Systems III: Verification and Control. LNCS 1066, Springer.
4. Back R. J. R. (1981); On Correct Refinement of Programs. J. Comp. Sys. Sci. 23,49-68.
5. Back R. J. R. (1988); A Calculus of Refinements for Program Derivations. Acta Inf. 25, 593-624.
6. Back R. J. R., von Wright J. (1989); Refinement Calculus Part I: Sequential Nondeterministic Programs, in: Proc. REX Workshop, Stepwise Refinement of Distributed Systems, de Roever, Rozenberg (eds.), LNCS 430,42-66, Springer.
7. Cunningham J. R. (1989); Development of Computer Algorithms for Radiation Treatment Planning. Int. J. Rad. Onc. Biol. Phys., 16, 1367-1376.
8. Harrison J. R. (1996); Theorem Proving with the Real Numbers. PhD. Thesis, Cambridge University Computing Laboratory, also Cambridge University Computing Laboratory Technical Report No. 408.
9. Hayes I. J. (1993); Specification Case Studies. (2nd ed.), Prentice-Hall.
10. Hayes I. J., Sanders J. W. (1995); Specification by Interface Separation. Form. Asp. Comp. 7, 430-439.
11. Hounsell A. R., Wilkinson J. M. (1994); Dose Calculations in Multi-Leaf Collimator Fields, in: Proc. XIth Int. Conf. on the use of Computers in Radiation Therapy, Manchester, UK.
12. Huang K. (1963); Statistical Mechanics. John Wiley.
13. Johns, H. E., Cunningham J. R. (1976); The Physics of Radiology. Charles C. Thomas.
14. Jones C. B. (1990); Systematic Software Development Using VDM. (2nd ed.), Prentice-Hall.
15. Jones C. B., Shaw R. C. (1990); Case Studies in Systematic Software Development. Prentice-Hall.
16. Khan F. M. (1994); The Physics of Radiation Therapy. Williams & Wilkins.
17. Lano K., Haughton H. (1996); Specification in B: An Introduction Using the B-Toolkit. Imperial College Press.
18. Maler O. (ed.) (1997); Hybrid and Real-Time Systems. LNCS 1201, Springer.
19. Morgan C. (1994); Programming from Specifications. Prentice-Hall.
20. Morris J. M. (1987); A Theoretical Basis for Stepwise Refinement and the Programming Calculus. Sci. Comp. Prog. 9, 287-306.
21. Spivey J. M. (1993); The Z Notation: A Reference Manual. (2nd ed.), Prentice-Hall.
22. Wand I., Milner R. (eds.) (1996); Computing Tomorrow. Cambridge University Press.
23. Wordsworth J. B. (1996); Software Engineering with B. Addison-Wesley.
24. von Wright J. (1994); The Lattice of Data Refinement. Acta Inf. 31, 105-135.