Vor Ort
Merkzettel Warenkorb
  • Produktbild: ZUM '98: The Z Formal Specification Notation
  • Produktbild: ZUM '98: The Z Formal Specification Notation
Band 1493

ZUM '98: The Z Formal Specification Notation 11th International Conference of Z Users, Berlin, Germany, September 24-30, 1998. Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

16.09.1998

Herausgeber

Jonathan P. Bowen + weitere

Verlag

Springer Berlin

Seitenzahl

424

Maße (L/B/H)

23,5/15,5/2,3 cm

Gewicht

663 g

Auflage

1998

Sprache

Englisch

ISBN

978-3-540-65070-6

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

16.09.1998

Herausgeber

Verlag

Springer Berlin

Seitenzahl

424

Maße (L/B/H)

23,5/15,5/2,3 cm

Gewicht

663 g

Auflage

1998

Sprache

Englisch

ISBN

978-3-540-65070-6

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: ZUM '98: The Z Formal Specification Notation
  • Produktbild: ZUM '98: The Z Formal Specification Notation
  • Industrial Issues.- Industrial Requirements for the Efficient Development of Reliable Embedded Systems.- Concurrency.- How to Combine Z with a Process Algebra.- The Specification and Refinement of an Environmental Model.- Formal Derivation of Finite State Machines for Class Testing.- Tools.- Using B to Specify, Verify and Design Hardware Circuits.- Z on the Web Using Java.- Visualizing Z Notation in HTML Documents.- Z and HOL.- On the Semantic Relation of Z and HOL.- HOL-Z in the UniForM-Workbench – A Case Study in Tool Integration for Z.- Safety-Critical and Real-Time Systems.- Designing a Requirements Specification Language for Reactive Systems.- Analyzing a Real-Time Program with Z.- Semantic Theory.- Recursive Definitions in Z.- A Logic for the Schema Calculus.- Theory and Standards.- Combining Specification Techniques for Processes, Data and Time.- Innovations in the Notation of Standard Z.- Reasoning and Consistency Issues.- Comparing Extended Z with a Heterogeneous Notation for Reasoning about Time and Space.- Inconsistency and Undefinedness in Z – A Practical Guide.- Refinement.- Compositional Specification of Controllers for Batch Process Operations.- Testing Refinements by Refining Tests.- More Powerful Z Data Refinement: Pushing the State of the Art in Industrial Refinement.- Object Orientation.- Network Topology and a Case Study in TCOZ.- Object-Oriented Specification of Hybrid Systems Using UML h and ZimOO.- Translating the OMT Dynamic Model into Object-Z.- Appendices.- Select Z Bibliography.- Comp.specification.z and Z FORUM Frequently Asked Questions.