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 /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Treharne, Helen (Editor ), King, Steve (Editor ), Henson, Martin (Editor ), Schneider, Steve (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Edición:1st ed. 2005.
Colección:Programming and Software Engineering, 3455
Temas:
Computer science.
Software engineering.
Machine theory.
Theory of Computation.
Software Engineering.
Computer Science Logic and Foundations of Programming.
Formal Languages and Automata Theory.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares