Refinement Diagrams-Reference-Cited by-同舟云学术

Refinement Diagrams

Published:1991 Issue: Volume: Page:125-137
ISSN:1431-1682
Container-title:Workshops in Computing
language:
Short-container-title:

Author:

Back R. J. R.

Publisher

Springer London

Link

http://link.springer.com/content/pdf/10.1007/978-1-4471-3756-6_7

Reference20 articles.

1. R. J. R. Back. On the Correctness of Refinement Steps in Program Development. PhD thesis, Department of Computer Science, University of Helsinki, Helsinki, 1978. Report A-1978–4.

2. R. J. R. Back. Correctness Preserving Program Refinements: Proof Theory and Applications, volume 131 of Mathematical Center Tracts. Mathematical Centre, Amsterdam, 1980.

3. R. J. R. Back. A calculus of refinements for program derivations. Acta Informatica, 25: 593–624, 1988.

4. R. J. R. Back and J. von Wright. Refinement concepts formalized in higher order logic. Reports on computer science and mathematics 85, Abo Akademi, 1989.

5. R. J. R. Back and J. von Wright. Refinement concepts formalized in higher order logic. In IFIP TC2 Working Conference, Sea of Galilei, Israel, 1990.

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Decomposition Structures for Event-B;Lecture Notes in Computer Science;2009

2. Software Construction by Stepwise Feature Introduction;ZB 2002:Formal Specification and Development in Z and B;2002

3. A Program Refinement Tool;Formal Aspects of Computing;1998-11

4. Modular refinement and model building;Algebraic Methodology and Software Technology;1997

5. Informal strategies in design by refinement;Lecture Notes in Computer Science;1994