Comparing extended Z with a heterogeneous notation for reasoning about time and space

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

Volumn 1493, Issue , 1998, Pages 214-233

  Paige, Richard F ^a  

^a YORK UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

ALGORITHM REFINEMENT; SPACE CONSTRAINTS;

FORMAL SPECIFICATION;

EID: 84957613435     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0056036     Document Type: Conference Paper

References (13)

1. P. Baumann and K. Lerner. A Framework for the Specification of Reactive and Concurrent Systems in Z. In P.S. Thiagarajan (ed.), Foundations of Software Technology and Theoretical Computer Science, Lecture Notes in Computer Science, volume 1026, Springer-Verlag, 1995. 217
2. J.-M. Bruel, A. Benzekri, and Y. Raymaud. Z and the Specification of Real-time Systems. In Proc. 7th Int. Conf. on Putting into Practice Methods and Tools for Information System Design, IRIN, 1995. 217
3. C.J. Fidge. Real-time Refinement. In M. Naftalin, T. Denvir and M. Bertran (eds.), FME ’93: Industrial Strength Formal Methods, Lecture Notes in Computer Science, volume 670, Springer-Verlag, 1993. 215, 217, 221, 223, 230
4. J. Grundy. Predicative Programming - A Survey. In D. Bjørner, M. Broy and I.V. Pottosin (eds.), Formal Methods in Programming and Their Applications, Lecture Notes in Computer Science, volume 735, Springer-Verlag, 1993.
5. E.C.R. Hehner and A.J. Malton. Termination Conventions and Comparative Semantics, Acta Informatica, 25 (1988). 214, 219, 232
6. E.C.R. Hehner. A Practical Theory of Programming, Springer-Verlag, 1993. 214, 215, 216, 219, 220, 221, 225, 226, 228, 230, 231
7. E.C.R. Hehner. Formalization of Time and Space, submitted. 215, 216, 220
8. C.C. Morgan. Programming from Specifications, Prentice Hall International Series in Computer Science, Second Edition, 1994. 215, 216, 218, 220, 221
9. R.F. Paige. A Meta-Method for Formal Method Integration. In J. Fitzgerald, C.B. Jones and P. Lucas (eds.), FME ’97: Industrial Applications and Strengthened Foundations of Formal Methods, Lecture Notes in Computer Science, volume 1313, Springer-Verlag, 1997. 214, 215, 218, 219, 220, 224
10. J.M. Spivey. The Z Notation: A Reference Manual, Prentice Hall International Series in Computer Science, 1989. 214, 216
11. N. Ward. Addings pecification constructors to the refinement calculus. In M. Naftalin, T. Denvir and M. Bertran (eds.), FME ’93: Industrial Strength Formal Methods, Lecture Notes in Computer Science, volume 670, Springer-Verlag, 1993. 230
12. J.B. Wordsworth. Software Development with Z, Addison-Wesley, 1992. 217, 218, 220, 221, 222, 231
13. P. Zave and M. Jackson. Where do operations come from? An approach to multiparadigm specification, IEEE Transactions on Software Engineering, 12(7), July 1996. 214