Minimally and maximally abstract retrenchments

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

Volumn 2335, Issue , 2002, Pages 380-399

  Jeske, C ^a   Banach, R ^a  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

Author keywords

Integration; Refinement; Retrenchment

Indexed keywords

ABSTRACTING; CONCRETES; FACTORIZATION; INTEGRATION;

ABSTRACT MODELS; CONCRETE MODEL; IDEMPOTENCE; LEVEL OF ABSTRACTION; REFINEMENT; RETRENCHMENT; TERMINATION CRITERIA; UNIVERSAL PROPERTIES;

FORMAL METHODS;

EID: 84944257946     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-47884-1_21     Document Type: Conference Paper

References (19)

1. Abrial J. R. The B-Book: Assigning Programs to Meanings. C.U.P., 1996.
2. Back R. J. R., von Wright J. Refinement Calculus: A Systematic Introduction. Springer, 1998.
3. Banach R. Maximally Abstract Retrenchments. In Proc. IEEE ICFEM-00, pages 133-142. IEEE Computer Society Press, 2000.
4. Banach R., Poppleton M. Retrenchment: An Engineering Variation on Refinement. In Bert (ed.), Proc. B-98, LNCS 1393, 129-147. Springer 1998. See also UMCS Technical Report UMCS-99-3-2, http://www.cs.man.ac.uk/cstechrep
5. Banach R., Poppleton M. Retrenchment and Punctured Simulation. In Araki, Galloway, Taguchi (eds.), Proc. IFM-99, pages 457-476. Springer 1999.
6. Banach R., Poppleton M. Sharp Retrenchment, Modulated Refinement and Simulation. Formal Aspects of Computing, 11, 498-540, 1999.
7. Banach R., Poppleton M. Retrenchment, Refinement and Simulation. In Bowen, Dunne, Galloway, King (eds.), Proc. ZB-00, LNCS 1878, 304-323. Springer, 2000.
8. Banach R., Poppleton M. Engineering and Theoretical Underpinnings of Retrenchment. To be submitted. Available at: http://www.cs.man.ac.uk/~banach/some.pubs/Retrench.Underpin.ps.gz
9. Boiten E., Derrick J. IO-Refinement in Z. In Third BCS-FACS Northern Formal Methods Workshop. Ilkley, U.K. 1998.
10. de Roever W.-P., Engelhardt K. Data Refinement: Model-Oriented Proof Methods and their Comparison. Cambridge University Press, 1998.
11. Jones C. B. Systematic Software Development Using VDM, 2nd ed. Prentice Hall, 1990.
12. Litteck H.J., Wallis P.J.L. Refinement Methods and Refinement Calculi. Software Engineering Journal 7(3), 219-229, 1992.
13. Liu S. Evolution: A More Practical Approach than Refinement for Software Development. In Proc. ICECCS-97, pages 142-151. IEEE, 1997.
14. Morgan C. Programming from Specifications, 2nd ed. Prentice Hall, 1994.
15. Poppleton M., Banach R. Retrenchment: Extending Refinement for Continuous and Control Systems. In Proc. IWFM’00, Springer ElectronicWorkshop in Computer Science Series, http://ewic.org.uk/ewic. Springer, 2000.
16. Smith G. Stepwise Development from Ideal Specifications. In Edwards (ed.), Aus. Comp. Sci. Conf. 22(1), 227-233. IEEE Computer Society, 2000.
17. Smith G., Fidge C. Incremental Development of Real-Time Requirements: The Light Control Case Study. JUCS 6, 704-730, 2000.
18. Spivey J. M. The Z Notation: A Reference Manual, 2nd ed. Prentice Hall, 1993.
19. Stepney S., Cooper D., Woodcock J. More Powerful Z Data Refinement: Pushing the State of the Art in Industrial Refinement. In Bowen, Fett, Hinchey (eds.), Proc. ZUM’98, LNCS 1493, 284-307. Springer, 1998.