-
2
-
-
35248847423
-
ZML: XML support for standard Z
-
Turku, Finland, June 4-6, 2003. Proceedings, Springer-Verlag Heidelberg
-
Utting, M., Toyn, I., Sun, J., Martin, A., Dong, J.S., Daley, N., Currie, D.: ZML: XML support for standard Z. In: ZB 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003. Proceedings, Springer-Verlag Heidelberg (2003) 437-456
-
(2003)
ZB 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users
, pp. 437-456
-
-
Utting, M.1
Toyn, I.2
Sun, J.3
Martin, A.4
Dong, J.S.5
Daley, N.6
Currie, D.7
-
3
-
-
0007924580
-
The object-Z specification language
-
Kluwer Academic Publishers
-
Smith, G.: The Object-Z Specification Language. Advances in Formal Methods. Kluwer Academic Publishers (2000)
-
(2000)
Advances in Formal Methods
-
-
Smith, G.1
-
5
-
-
0003880013
-
-
Addison Wesley, USA
-
Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison Wesley, USA (1995)
-
(1995)
Design Patterns: Elements of Reusable Object-oriented Software
-
-
Gamma, E.1
Helm, R.2
Johnson, R.3
Vlissides, J.4
-
6
-
-
35248830987
-
A pattern language to visitors
-
Monticello, Illinois, USA.
-
Mai, Y., de Champlain, M.: A pattern language to visitors. In: The 8th Annual Conference of Pattern Languages of Programs (PLoP 2001), Monticello, Illinois, USA. (2001)
-
(2001)
The 8th Annual Conference of Pattern Languages of Programs (PLoP 2001)
-
-
Mai, Y.1
De Champlain, M.2
-
7
-
-
0002666576
-
Acyclic visitor
-
Martin, R.C., Riehle, D., Buschmann, F., Addison-Wesley Longman Publishing Co., Inc.
-
Martin, A.C.: Acyclic visitor. In Martin, R.C., Riehle, D., Buschmann, F., eds.: Pattern Languages of Program Design 3, Addison-Wesley Longman Publishing Co., Inc. (1997)
-
(1997)
Pattern Languages of Program Design
, vol.3
-
-
Martin, A.C.1
-
8
-
-
0005003952
-
Default and extrinsic visitor
-
Martin, R.C., Riehle, D., Buschmann, F., eds.: Addison-Wesley Longman Publishing Co., Inc.
-
Nordberg III, M.E.: Default and extrinsic visitor. In Martin, R.C., Riehle, D., Buschmann, F., eds.: Pattern Languages of Program Design 3, Addison-Wesley Longman Publishing Co., Inc. (1997)
-
(1997)
Pattern Languages of Program Design
, vol.3
-
-
Nordberg III, M.E.1
-
9
-
-
24644510795
-
Characters + mark-up = Z lexis
-
ZB 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002. Proceedings, Springer-Verlag Heidelberg
-
Toyn, I., Stepney, S.: Characters + mark-up = Z lexis. In: ZB 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002. Proceedings. Volume 2272 of LNCS., Springer-Verlag Heidelberg (2002) 100-119
-
(2002)
LNCS
, vol.2272
, pp. 100-119
-
-
Toyn, I.1
Stepney, S.2
-
10
-
-
24644491296
-
Typechecking Z
-
Bowen, J.P., Dunne, S., Galloway, A., King, S., eds.: ZB 2000: First International Conference of B and Z Users, York, UK, August 2000. Springer
-
Toyn, I., Valentine, S.H., Stepney, S., King, S.: Typechecking Z. In Bowen, J.P., Dunne, S., Galloway, A., King, S., eds.: ZB 2000: First International Conference of B and Z Users, York, UK, August 2000. Volume 1878 of LNCS., Springer (2000) 264-285
-
(2000)
LNCS
, vol.1878
, pp. 264-285
-
-
Toyn, I.1
Valentine, S.H.2
Stepney, S.3
King, S.4
-
11
-
-
0003566434
-
The Z notation: A reference manual. Second edn
-
Prentice-Hall International (UK) Ltd
-
Spivey, J.M.: The Z Notation: A Reference Manual. Second edn. International Series in Computer Science. Prentice-Hall International (UK) Ltd (1992)
-
(1992)
International Series in Computer Science
-
-
Spivey, J.M.1
-
12
-
-
84937398109
-
Automated boundary testing from Z and B
-
Eriksson, L.H., Lindsay, P., eds.: Formal Methods Europe, FME 2002. Springer-Verlag
-
Legeard, B., Peureux, F., Utting, M.: Automated boundary testing from Z and B. In Eriksson, L.H., Lindsay, P., eds.: Formal Methods Europe, FME 2002. Volume 2391 of LNCS., Springer-Verlag (2002) 21-40
-
(2002)
LNCS
, vol.2391
, pp. 21-40
-
-
Legeard, B.1
Peureux, F.2
Utting, M.3
-
13
-
-
24644448819
-
Information technology - Z formal specification notation - Syntax, type system and semantics
-
Corrections to use of Unicode This draft has yet to be submitted for official ballot
-
Toyn, I.: Information technology - Z formal specification notation - Syntax, type system and semantics. DRAFT TECHNICAL CORRIGENDUM 1, Corrections to use of Unicode. Available from http://www-users.cs.york.ac.uk/~ian/zstan/IS. html (2004) This draft has yet to be submitted for official ballot.
-
(2004)
Draft Technical Corrigendum
, vol.1
-
-
Toyn, I.1
|