Sciweavers

Share
ZUM
1998
Springer

Comparing Extended Z with a Heterogeneous Notation for Reasoning about Time and Space

10 years 2 months ago
Comparing Extended Z with a Heterogeneous Notation for Reasoning about Time and Space
We contrast using a notation extension with using a combination of notations. Specifically, we compare the use of an extended dialect of Z [10] with a combination of Z and predicative programming notation [6] for algorithm refinement and for reasoning about time and space constraints on systems. We discuss the difficulty of using extended notations versus using heterogeneous notations, and consider when we might prefer to extend or combine notations. We conclude that there exist situations where a heterogeneous notation can be more appropriate to use than an extended notation.
Richard F. Paige
Added 06 Aug 2010
Updated 06 Aug 2010
Type Conference
Year 1998
Where ZUM
Authors Richard F. Paige
Comments (0)
books