Modular Reasoning in an Object-Oriented Refinement Calculus

Authors:
Mark Utting;Ken Robinson
Affiliations:
-;-
Venue:
Proceedings of the Second International Conference on Mathematics of Program Construction
Year:
1992

Citing 0
Cited 4

A Weakest Precondition Semantics for Refinement of Object-Oriented Programs

IEEE Transactions on Software Engineering
Modular specification and verification of object-oriented programs

Modular specification and verification of object-oriented programs
Pre-post notation is questionable in effectively specifying operations of object-oriented systems

Frontiers of Computer Science in China
A framework for automated and certified refinement steps

Innovations in Systems and Software Engineering

Quantified Score

Hi-index	0.01

Visualization

Abstract