1 option
ZB 2005: Formal Specification and Development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings / edited by Helen Treharne, Steve King, Martin Henson, Steve Schneider.
SpringerLink Books Lecture Notes In Computer Science (LNCS) (1997-2024) Available online
View online- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- LNCS sublibrary. Programming and software engineering ; SL 2, 3455.
- Programming and Software Engineering ; 3455
- Language:
- English
- Subjects (All):
- Computers.
- Software engineering.
- Computer logic.
- Logic, Symbolic and mathematical.
- Theory of Computation.
- Software Engineering.
- Logics and Meanings of Programs.
- Mathematical Logic and Formal Languages.
- Local Subjects:
- Theory of Computation.
- Software Engineering.
- Logics and Meanings of Programs.
- Mathematical Logic and Formal Languages.
- Physical Description:
- 1 online resource (XVI, 496 pages).
- Edition:
- First edition 2005.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
- System Details:
- text file PDF
- Contents:
- Specification Before Satisfaction: The Case for Research into Obtaining the Right Specification -Extended Abstract-
- Visualising Larger State Spaces in Pro B
- Non-atomic Refinement in Z and CSP
- Process Refinement in B
- CZT: A Framework for Z Tools
- Model Checking Z Specifications Using SAL
- Proving Properties of Stateflow Models Using ISO Standard Z and CADiZ
- A Stepwise Development of the Peterson's Mutual Exclusion Algorithm Using B Abstract Systems
- An Extension of Event B for Developing Grid Systems
- The Challenge of Probabilistic Event B-Extended Abstract-
- Requirements as Conjectures: Intuitive DVD Menu Navigation
- A Prospective-Value Semantics for the GSL
- Retrenchment and the B-Toolkit
- Refinement and Reachability in Event_B
- A Rigorous Foundation for Pattern-Based Design Models
- An Object-Oriented Structuring for Z Based on Views
- Component Reuse in B Using ACL2
- GeneSyst: A Tool to Reason About Behavioral Aspects of B Event Specifications. Application to Security Properties
- Formal Verification of a Type Flaw Attack on a Security Protocol Using Object-Z
- Using B as a High Level Programming Language in an Industrial Project: Roissy VAL
- Development via Refinement in Probabilistic B - Foundation and Case Study
- Formal Program Development with Approximations
- Practical Data Refinement for the Z Schema Calculus
- Slicing Object-Z Specifications for Verification
- Checking JML Specifications with B Machines
- Including Design Guidelines in the Formal Specification of Interfaces in Z
- Some Guidelines for Formal Development of Web-Based Applications in B-Method.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-540-32007-4
- 9783540320074
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.