ISO/IEC 13568. Information Technology -- Z Formal Specification Notation -- Syntax, Type System and Semantics: International Standard, 2002. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
An Outline Pattern Language for Z: five illustrations and.. - Stepney, Polack, Toyn (Correct)
....in an area that is not generally recognised as meriting any development specialism. This paper is a contribution to the commercial acceptance of formality, specifically of Z. We refer to the two main variants of Z thus: as ZRM, for that given in [Spivey 1992b] as ISO Z, for that given in [ISO Z 2002]. By Mathematical Toolkit , we mean those well known Z definitions given in [Spivey 1992b, chapter 4] and [ISO Z 2002, annex B] Z is a powerful notation, with few inbuilt assumptions about any design philosophy or development method of its own. This power and freedom can make it hard for the ....
....to the commercial acceptance of formality, specifically of Z. We refer to the two main variants of Z thus: as ZRM, for that given in [Spivey 1992b] as ISO Z, for that given in [ISO Z 2002] By Mathematical Toolkit , we mean those well known Z definitions given in [Spivey 1992b, chapter 4] and [ISO Z 2002, annex B] Z is a powerful notation, with few inbuilt assumptions about any design philosophy or development method of its own. This power and freedom can make it hard for the newcomer to decide how to structure and develop a Z specification, and hard for a reviewer or implementer to comprehend ....
ISO/IEC 13568. Information Technology---Z Formal Specification Notation--- Syntax, Type System and Semantics: International Standard, 2002.
A Z Patterns Catalogue: I specification and refactorings, v0.1 - Stepney, Polack, Toyn (2003) (Correct)
.... and proof, including a compiler [Stepney Nabney 2003] an electronic Purse [Stepney et al. 2000] and a Smart Card Operating System [Stepney Cooper 2003] Stepney 1998] reports We refer to the two main variants of Z thus: as ZRM, for that given in [Spivey 1992b] as ISO Z, for that given in [ISO Z 2002]. By Mathematical Toolkit , we mean those well known Z definitions given in [Spivey 1992b, chapter 4] and [ISO Z 2002, annex B] on issues to do with performing proofs on these industrial scale Z specifications, and sketches requirements for proof tool support to help in this task. Even when ....
.... System [Stepney Cooper 2003] Stepney 1998] reports We refer to the two main variants of Z thus: as ZRM, for that given in [Spivey 1992b] as ISO Z, for that given in [ISO Z 2002] By Mathematical Toolkit , we mean those well known Z definitions given in [Spivey 1992b, chapter 4] and [ISO Z 2002, annex B] on issues to do with performing proofs on these industrial scale Z specifications, and sketches requirements for proof tool support to help in this task. Even when starting a specification and proof task from scratch, a commercial development rarely starts from a clean sheet of ....
[Article contains additional citation context not shown here]
ISO/IEC 13568. Information Technology---Z Formal Specification Notation---Syntax, Type System and Semantics: International Standard, 2002.
Retrenchment and the Mondex Electronic Purse - Exte Nd Ed (Correct)
No context found.
ISO/IEC 13568. Information Technology -- Z Formal Specification Notation -- Syntax, Type System and Semantics: International Standard, 2002.
Retrenching the Purse: The Balance Enquiry Quandary, and.. - Banach, al. (2006) (Correct)
No context found.
ISO/IEC 13568: Information Technology -- Z Formal Specification Notation -- Syntax, Type System and Semantics: International Standard, 2002.
Retrenchment and the Mondex Electronic Purse (Extended.. - Banach, Jeske, Stepney (Correct)
No context found.
ISO/IEC 13568. Information Technology -- Z Formal Specification Notation -- Syntax, Type System and Semantics: International Standard, 2002.
A Z Patterns Catalogue II - definitions and laws, v0.1 - Valentine, Stepney, Toyn (2004) (Correct)
No context found.
ISO/IEC 13568. Information Technology -- Z Formal Specification Notation -- Syntax, Type System and Semantics: International Standard, 2002. http://www.iso.org/iso/en/ittf/PubliclyAvailableStandards/c021573 ISO IEC 13568 2002(E).zip.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC