메뉴 건너뛰기




Volumn 3455, Issue , 2005, Pages 65-84

CZT: A framework for Z tools

Author keywords

[No Author keywords available]

Indexed keywords

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

EID: 24644495775     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11415787_5     Document Type: Conference Paper
Times cited : (34)

References (13)
  • 3
    • 0007924580 scopus 로고    scopus 로고
    • 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
  • 7
    • 0002666576 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.