Vor Ort
Merkzettel Warenkorb
  • Produktbild: ZB 2000: Formal Specification and Development in Z and B
  • Produktbild: ZB 2000: Formal Specification and Development in Z and B
Band 1878

ZB 2000: Formal Specification and Development in Z and B First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

16.08.2000

Abbildungen

XIV, 510 p.

Herausgeber

Jonathan P. Bowen + weitere

Verlag

Springer Berlin

Seitenzahl

510

Maße (L/B/H)

23,5/15,5/2,9 cm

Gewicht

791 g

Auflage

2000

Sprache

Englisch

ISBN

978-3-540-67944-8

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

16.08.2000

Abbildungen

XIV, 510 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

510

Maße (L/B/H)

23,5/15,5/2,9 cm

Gewicht

791 g

Auflage

2000

Sprache

Englisch

ISBN

978-3-540-67944-8

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: ZB 2000: Formal Specification and Development in Z and B
  • Produktbild: ZB 2000: Formal Specification and Development in Z and B
  • Meeting the Challenge of Object-Oriented Programming.- A Formal Mapping between UML Models and Object-Z Specifications.- A Generic Process to Refine a B Specification into a Relational Database Implementation.- Recursive Schema Definitions in Object-Z.- On Mutually Recursive Free Types in Z.- Reasoning Inductively about Z Specifications via Unification.- Reconciling Axiomatic and Model-Based Specifications Using the B Method.- Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context.- Automatic Construction of Validated B Components from Structured Developments.- Playing with Abstraction and Refinement for Managing Features Interactions.- A Formal Architecture for the 3APL Agent Programming Language.- How to Drive a B Machine.- Deriving Software Specifications from Event Based Models.- Reformulate Dynamic Properties during B Refinement and Forget Variants and Loop Invariants.- Type-Constrained Generics for Z.- Typechecking Z.- Guards, Preconditions, and Refinement in Z.- Retrenchment, Refinement, and Simulation.- Performing Algorithmic Refinement before Data Refinement in B.- Program Development and Specification Refinement in the Schema Calculus.- Are Smart Cards the Ideal Domain for Applying Formal Methods.- Formal Methods for Industrial Products.- An Execution Architecture for GSL.- A Computation Model for Z Based on Concurrent Constraint Resolution.- Analysis of Compiled Code: A Prototype Formal Model.- Zzzzzzzzzzzzzzzzzzzzzzzzzz.- Segregation with Communication.- Closure Induction in a Z-Like Language.- Fuzzy Concepts and Formal Methods: A Fuzzy Logic Toolkit for Z.