-
2
-
-
84955417701
-
ZUM '98: The Z Formal Specification Notation
-
editors, Springer Verlag, Berlin Heidelberg New York, September
-
Jonathan P. Bowen, Andreas Fett, and Michael G. Hinchey, editors. ZUM '98: The Z Formal Specification Notation, Proceedings of the 11th International Conference of Z Users. Lecture Notes in Computer Science 1493. Springer Verlag, Berlin Heidelberg New York, September 1998.
-
(1998)
Proceedings of the 11Th International Conference of Z Users. Lecture Notes in Computer Science 1493
-
-
Bowen, J.P.1
Fett, R.2
Hinchey, M.G.3
-
3
-
-
34250719396
-
A relational model of programs without the restriction to Egli-Milner constructs
-
E.-R. Olderog, editor
-
H. Doornbos. A relational model of programs without the restriction to Egli-Milner constructs. In E.-R. Olderog, editor, PROCOMET '94, pages 357-376. IFIP, 1994.
-
(1994)
PROCOMET '94
, pp. 357-376
-
-
Doornbos, H.1
-
4
-
-
0000601447
-
-
Technical Report TRCF-97-2, Universitat Oldenburg, Fachbereich Informa-tik, PO Box 2503, 26111 Oldenburg, Germany, April, (last access 10/01/2000)
-
Clemens Fischer. CSP-OZ: A Combination of Object-Z and CSP. Technical Report TRCF-97-2, Universitat Oldenburg, Fachbereich Informa-tik, PO Box 2503, 26111 Oldenburg, Germany, April 1997. Online: http://theoretica.Informatik.Uni-Oldenburg.DE/~fischer/techreports.html (last access 10/01/2000).
-
(1997)
CSP-OZ: A Combination of Object-Z and CSP
-
-
Fischer, C.1
-
7
-
-
0033164891
-
Specifications, programs, and total correctness
-
(last access: 09/05/2000)
-
Eric C., R. Hehner. Specifications, programs, and total correctness. Science of Computer Programming, 34(3):191-205, July 1999. Online http://www.elsevier.com/cas/tree/store/scico/sub/1999/34/3/563.pdf (last access: 09/05/2000).
-
(1999)
Science of Computer Programming
, vol.34
, Issue.3
, pp. 191-205
-
-
Eric, C.1
Hehner, R.2
-
9
-
-
84919231256
-
-
Technical Report PRG-19-91, Programming Research Group, Oxford University Computing Laboratory
-
Mark B. Josephs. Specifying reactive systems in Z. Technical Report PRG-19-91, Programming Research Group, Oxford University Computing Laboratory, 1991.
-
(1991)
Specifying Reactive Systems in Z
-
-
Josephs, M.B.1
-
10
-
-
84937432617
-
Specification of Required Non-determinism
-
John Fitzgerald, Cliff B. Jones, and Peter Lucas, editors, Springer-Verlag, September
-
K. Lano, J. Bicarregui, J. Fiadeiro, and A. Lopes. Specification of Required Non-determinism. In John Fitzgerald, Cliff B. Jones, and Peter Lucas, editors, FME'97: Industrial Applications and Strengthened Foundations of Formal Methods (Proc. 4th Intl. Symposium of Formal Methods Europe, Graz, Austria, September 1997), Lecture Notes in Computer Science 1313, pages 298-317. Springer-Verlag, September 1997.
-
(1997)
FME'97: Industrial Applications and Strengthened Foundations of Formal Methods (Proc. 4Th Intl. Symposium of Formal Methods Europe, Graz, Austria, September 1997), Lecture Notes in Computer Science 1313
, pp. 298-317
-
-
Lano, K.1
Bicarregui, J.2
Fiadeiro, J.3
Lopes, A.4
-
11
-
-
0003566434
-
The Z Notation: A Reference Manual
-
Prentice-Hall International (UK) Ltd., 2nd edition, 1992. Online, (last access 26/07/1998)
-
J. M. Spivey. The Z Notation: A Reference Manual. Prentice-Hall International Series in Computer Science. Prentice-Hall International (UK) Ltd., 2nd edition, 1992. Online: http://spivey.oriel.ox.ac.uk/~mike/zrm/index.html (last access 26/07/1998).
-
Prentice-Hall International Series in Computer Science
-
-
Spivey, J.M.1
-
12
-
-
33746248522
-
Disjunction of LOTOS specifications
-
T. Mizuno, N. Shiratori, T. Higashino, and A. Togashi, editors, Testing and Verification: FORTE X/PSTV XVII '97, Osaka, Japan, November 1997. Chapman & Hall. Online, (last access: 20/01/2000)
-
M.W.A. Steen, H. Bowman, J. Derrick, and E.A. Boiten. Disjunction of LOTOS specifications. In T. Mizuno, N. Shiratori, T. Higashino, and A. Togashi, editors, Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X/PSTV XVII '97, pages 177-192, Osaka, Japan, November 1997. Chapman & Hall. Online: http://www.cs.ukc.ac.uk/pubs/1997/350 (last access: 20/01/2000).
-
Formal Description Techniques and Protocol Specification
, pp. 177-192
-
-
Steen, M.1
Bowman, H.2
Derrick, J.3
Boiten, E.A.4
-
13
-
-
84951810186
-
How Firing Conditions Help Inheritance
-
Jonathan P. Bowen and Michael G. Hinchey, editors, Springer Verlag
-
Ben Strulo. How Firing Conditions Help Inheritance. In Jonathan P. Bowen and Michael G. Hinchey, editors, ZUM'95: The Formal Specification Notation, Lecture Notes in Computer Science 967, pages 264-275. Springer Verlag, 1995.
-
(1995)
ZUM'95: The Formal Specification Notation, Lecture Notes in Computer Science 967
, pp. 264-275
-
-
Strulo, B.1
-
14
-
-
22144441347
-
-
CD 13568.2, August24 1999. Online, (last access 09/05/2000)
-
Ian Toyn. Z Notation: Final Committee Draft, CD 13568.2, August24 1999. Online: http://www.cs.york.ac.uk/~ian/zstan/(last access 09/05/2000).
-
Z Notation: Final Committee Draft
-
-
Toyn, I.1
|