Maximally abstract retrenchments

ICFEM 2000 - 3rd IEEE International Conference on Formal Engineering Methods

Volumn , Issue , 2000, Pages 133-142

  Banach, R ^a  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

Author keywords

Computer science; Concrete; Control systems; Mathematics; Tail

Indexed keywords

ABSTRACTING; COMPUTER SCIENCE; CONCRETES; CONTROL SYSTEMS; FACTORIZATION; MATHEMATICAL TECHNIQUES;

ABSTRACT MODELING; CONCRETE MODEL; FLEXIBLE DEVELOPMENT; LEVEL OF ABSTRACTION; PARTIAL CORRECTNESS; TAIL; TERMINATION CRITERIA; UNIVERSAL MODEL;

COMPUTER CONTROL SYSTEMS;

EID: 46449101809     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICFEM.2000.873813     Document Type: Conference Paper

References (17)

1. Banach R., Poppleton M. Retrenchment: An Engineering Variation on Refinement, in: Proc. B-98, Bert (ed.), Springer, 1998, 129-147, LNCS 1393.
2. See also: UMCS Technical Report UMCS-99-3-2, http://www.cs.man.ac.uk/cstechrep
3. Banach R., Poppleton M. Retrenchment and Punctured Simulation. in: Proc. IFM-99, Taguchi, Galloway (eds.), Springer, 1999, 457-476.
4. Banach R., Poppleton M. Retrenchment, Refinement and Simulation, in: Proc. ZB-00, Bowen, Dunne, Galloway, King (eds.), Springer, 2000, 304-323, LNCS 1878.
5. Banach R., Poppleton M. Sharp Retrenchment, Modulated Refinement and Simulation. Form. Asp. Comp. 11, 498-540, 1999.
6. de Roever W.-P., Engelhardt K. Data Refinement: Model-Oriented Proof Methods and their Comparison. C.U.P., 1998.
7. Abrial J. R. The B-Book. C.U.P., 1996.
8. Wordsworth J. B. Software Engineering with B. Addison-Wesley, 1996.
9. Lano K., Haughton H. Specification in B: An Introduction Using the B-Toolkit. Imperial College Press, 1996.
10. Neilson D. S. From Z to C: Illustration of a Rigorous Development Method. PhD. Thesis, Oxford University Computing Laboratory Programming Research Group, Technical Monograph PRG-101, 1990.
11. Owe O. An Approach to Program Reasoning Based on a First Order Logic for Partial Functions. University of Oslo Institute of Informatics Research Report No. 89. ISBN 82-90230-88-5, 1985.
12. Owe O. Partial Logics Reconsidered: A Conservative Approach. Form. Asp. Comp. 3, 1-16, 1993.
13. Hayes I. J., Sanders J. W. Specification by Interface Separation. Form. Asp. Comp. 7, 430-439, 1995.
14. Boiten E., Derrick J. IO-Refinement in Z. in: Proc. Third BCS-FACS Northern Formal Methods Workshop. Ilkley, U.K., 1998.
15. Mikhajlova A, Sekerinski E. Class Refinement and Interface Refinement in Object-Oriented Programs, in: Proc. FME-97, Fitzgerald, Jones, Lucas (eds.), LNCS 1313, 82-101, Springer, 1997.
16. Stepney S., Cooper D., Woodcock J. More Powerful Z Data Refinement: Pushing the State of the Art in Industrial Refinement. in: Proc. ZUM-98, Bowen, Fett, Hinchey (eds.), LNCS 1493, 284-307, Springer, 1998.
17. Liu S. Evolution: A More Practical Approach than Refinement for Software Development, in: Proc. ICECCS-97, 142-151, IEEE, 1997.