Skip header Section
Skip Bibliometrics Section
An Introduction to Formal Specification and ZJuly 1996
- Authors:
- Ben Potter,
- David Till,
- Jane Sinclair
Skip Abstract Section
Abstract
From the Publisher:
Introduces developers to Z notation, a formal specification methodology that can dramatically improve the way software systems are modeled and implemented.Covers the role of formal specification in software engineering, and presents an informal introduction to logic and set theory. Introduces the Z notation as a mathematical language. Presents Z notation relations, functions, schemas and specifications structure. Presents a completed specification in Z notation, and shows how that specification can be transformed into a working program.Software engineers and students of advanced software engineering.
Cited By
Shah K and Grant E Towards Simplifying and Formalizing UML Class Diagram Generalization/Specialization Relationship with Mathematical Set Theory Proceedings of the 6th International Conference on Information System and Data Mining, (89-94)- Cristiá M and Rossi G (2021). An Automatically Verified Prototype of the Tokeneer ID Station Specification, Journal of Automated Reasoning, 65:8, (1125-1151), Online publication date: 1-Dec-2021.
- Chakrabarti S and Venkatesan K StaBL Proceedings of the 13th Innovations in Software Engineering Conference (formerly known as India Software Engineering Conference), (1-10)
- Ciccozzi F, Malavolta I and Selic B (2019). Execution of UML models, Software and Systems Modeling (SoSyM), 18:3, (2313-2360), Online publication date: 1-Jun-2019.
- Prasetya I, Leek C, Melkonian O, Tusscher J, van Bergen J, Everink J, van der Klis T, Meijerink R, Oosenbrug R, Oostveen J, van den Pol T and van Zon W Having fun in learning formal specifications Proceedings of the 41st International Conference on Software Engineering: Software Engineering Education and Training, (192-196)
- Dil A and Osunde J Evaluation of a tool for Java structural specification checking Proceedings of the 10th International Conference on Education Technology and Computers, (99-104)
- Banach R, Zhu H, Su W and Huang R (2014). Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application, Formal Aspects of Computing, 26:2, (319-366), Online publication date: 1-Mar-2014.
- Moremedi K and Poll J Transforming Formal Specification Constructs into Diagrammatic Notations Proceedings of the Third International Conference on Model and Data Engineering - Volume 8216, (212-224)
- Cristia M, Hollmann D, Albertengo P, Frydman C and Monetti P A language for test case refinement in the test template framework Proceedings of the 13th international conference on Formal methods and software engineering, (601-616)
- Elizondo P and Ndjatchi M Deriving functional interface specifications for composite components Proceedings of the 10th international conference on Software composition, (1-17)
- Khwaja A and Urban J (2010). A property based specification formalism classification, Journal of Systems and Software, 83:11, (2344-2362), Online publication date: 1-Nov-2010.
- Dovier A, Piazza C and Rossi G (2008). A uniform approach to constraint-solving for lists, multisets, compact lists, and sets, ACM Transactions on Computational Logic, 9:3, (1-30), Online publication date: 1-Jun-2008.
- Morimoto S, Shigematsu S, Goto Y and Cheng J Formal verification of security specifications with common criteria Proceedings of the 2007 ACM symposium on Applied computing, (1506-1512)
- Yiftachel P, Peled D, Hadar I and Goldwasser D Resource allocation among development phases Proceedings of the 2006 international workshop on Economics driven software engineering research, (43-48)
- Guerrouat A and Richter H (2005). A component-based specification approach for embedded systems using FDTs, ACM SIGSOFT Software Engineering Notes, 31:2, (14-es), Online publication date: 1-Mar-2006.
- Guerrouat A and Richter H (2005). A Formal Approach for Analysis and Testing of Reliable Embedded Systems, Electronic Notes in Theoretical Computer Science (ENTCS), 141:3, (91-106), Online publication date: 1-Dec-2005.
- Guerrouat A and Richter H A component-based specification approach for embedded systems using FDTs Proceedings of the 2005 conference on Specification and verification of component-based systems, (14-es)
- Deutsch M, Henson M and Reeves S Operation refinement and monotonicity in the schema calculus Proceedings of the 3rd international conference on Formal specification and development in Z and B, (103-126)
- van der Poll J and Kotzé P What design heuristics may enhance the utility of a formal specification? Proceedings of the 2002 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology, (179-194)
- Nakkrasae S and Sophatsathit P A formal approach for specification and classification of software components Proceedings of the 14th international conference on Software engineering and knowledge engineering, (773-780)
- Khazaei B and Triffitt E Applying cognitive dimensions to evaluate and improve the usability of Z formalism Proceedings of the 14th international conference on Software engineering and knowledge engineering, (571-577)
- Lee J, Yoo C and Chang O (2002). Analysis of object interaction during the enterprise javabeans lifecycle using formal specification technique, ACM SIGPLAN Notices, 37:6, (82-92), Online publication date: 2-Jun-2002.
- Sycara K, Widoff S, Klusch M and Lu J (2002). Larks, Autonomous Agents and Multi-Agent Systems, 5:2, (173-203), Online publication date: 1-Jun-2002.
- Beidler J, Bi Y and McCloskey R (2002). A recursive list paradigm with Java and C++ implementations, Journal of Computing Sciences in Colleges, 17:6, (197-205), Online publication date: 1-May-2002.
- van Lamsweerde A and Letier E (2000). Handling Obstacles in Goal-Oriented Requirements Engineering, IEEE Transactions on Software Engineering, 26:10, (978-1005), Online publication date: 1-Oct-2000.
- van Lamsweerde A and Willemet L (1998). Inferring Declarative Requirements Specifications from Operational Scenarios, IEEE Transactions on Software Engineering, 24:12, (1089-1114), Online publication date: 1-Dec-1998.
Recommendations
Formal Specification of User Interfaces: A Comparison and Evaluation of Four Axiomatic Approaches
Annals of discrete mathematics, 24Few examples of formal specification of the semantics of user interfaces exist in the literature. This paper presents a comparison of four axiomatic approaches which we have applied to the specification of a commercial user interface-the line editor for ...
Formal Specification Generation from Requirement Documents
Automatic generation of formal specifications from requirement reduces cost and complexity of formal models creation. Thus, the generated formal model brings the possibility to carry out system property verification. This paper proposes a Controlled ...