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 /

Bibliographic Details
Call Number:Libro Electrónico
Corporate Author: SpringerLink (Online service)
Other Authors: Treharne, Helen (Editor), King, Steve (Editor), Henson, Martin (Editor), Schneider, Steve (Editor)
Format: Electronic eBook
Language:Inglés
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Edition:1st ed. 2005.
Series:Programming and Software Engineering, 3455
Subjects:
Computer science.
Software engineering.
Machine theory.
Theory of Computation.
Software Engineering.
Computer Science Logic and Foundations of Programming.
Formal Languages and Automata Theory.
Online Access:Texto Completo
Table of 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.

Similar Items