Willkommen, schön sind Sie da!
Logo Ex Libris

ZUM '95: The Z Formal Specification Notation

  • Kartonierter Einband
  • 596 Seiten
(0) Erste Bewertung abgeben
Bewertungen & Rezensionen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This book presents the proceedings of the 9th International Conference of Z Users, ZUM '95, held in Limerick, Ireland in September... Weiterlesen
20%
144.00 CHF 115.20
Sie sparen CHF 28.80
Print on Demand - Auslieferung erfolgt in der Regel innert 4 bis 6 Wochen.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

This book presents the proceedings of the 9th International Conference of Z Users, ZUM '95, held in Limerick, Ireland in September 1995.
The book contains 34 carefully selected papers on Z, using Z, applications of Z, proof, testing, industrial usage, object orientation, animation of specification, method integration, and teaching formal methods. Of particular interest is the inclusion of an annotated Z bibliography listing 544 entries. While focussing on Z, by far the most commonly used "formal method" both in industry and application, the volume is of high relevance for the whole formal methods community.

Inhalt
Language-free mathematical methods for software design extended abstract.- A formal approach to software design: The Clepsydra methodology.- Refining database systems.- Structuring a Z specification to provide a formal framework for autonomous agent systems.- On the use of formal specifications in the design and simulation of artificial neural networks.- Structuring specification in Z to build a unifying framework for hypertext systems.- Mechanizing formal methods: Opportunities and challenges.- An algebraic proof in VDM ?.- Testing as abstraction.- Improving software tests using Z Specifications.- Compilation of Z specifications into C for automatic test result evaluation.- Equal rights for schemas in Z.- Structuring Z specifications: Some choices.- Experiments with the Z interchange format and SGML.- The future of industrial formal methods.- Specifications and their use in defining subtypes.- How firing conditions help inheritance.- Extending W for Object-Z.- A formal semantics for a language with type extension.- From Z to code: A graphical user interface for a radiation therapy machine.- The French population census for 1990.- Implementing Z in Isabelle.- The Z-into-Haskell tool-kit: An illustrative case study.- Types and sets in Gödel and Z.- Exploring specifications with Mathematica.- Using Z to rigorously review a specification of a Network Management System.- A two-dimensional view of integrated formal and informal specification techniques.- Viewpoints and objects.- Teaching programming as engineering.- A course on formal methods in software engineering: Matching requirements with design.- Hints for writing specifications.- Mental models of Z: I Sets and logic.- Equational logic: A great pedagogical tool for teaching a skill in logic.- Z Browser Tool for visualisation of Z specifications.- Select Z bibliography.- Comp.specification.z and Z forum frequently asked questions.

Produktinformationen

Titel: ZUM '95: The Z Formal Specification Notation
Untertitel: 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings
Editor:
EAN: 9783540602712
ISBN: 3540602712
Format: Kartonierter Einband
Herausgeber: Springer Berlin Heidelberg
Genre: Informatik
Anzahl Seiten: 596
Gewicht: 890g
Größe: H235mm x B155mm x T31mm
Jahr: 1995
Untertitel: Englisch
Auflage: 1995

Weitere Produkte aus der Reihe "Lecture Notes in Computer Science"