CZT: A framework for Z tools

Lecture Notes in Computer Science

Volumn 3455, Issue , 2005, Pages 65-84

  Malik, Petra ^a   Utting, Mark ^a  

^a UNIVERSITY OF WAIKATO   (New Zealand)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); DESIGN; JAVA PROGRAMMING LANGUAGE; PRINTING; PROBLEM SOLVING; TECHNICAL WRITING; XML;

COMMUNITY Z TOOLS (CZT); JAVA CODE; LATEX; PARSING;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 24644495775     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11415787_5     Document Type: Conference Paper

References (13)

1. ISO/IEC 13568: Information Technology - Z Formal Specification Notation - Syntax, Type System and Semantics. First edn. ISO/IEC (2002)
2. 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
3. Smith, G.: The Object-Z Specification Language. Advances in Formal Methods. Kluwer Academic Publishers (2000)
4. Mahony, B., Dong, J.S.: Timed communicating Object Z. IEEE Transactions on Software Engineering 26 (2000) 150-177
5. Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison Wesley, USA (1995)
6. 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)
7. 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)
8. 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)
9. 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
10. 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
11. Spivey, J.M.: The Z Notation: A Reference Manual. Second edn. International Series in Computer Science. Prentice-Hall International (UK) Ltd (1992)
12. 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
13. 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.