Vor Ort
Merkzettel Warenkorb
  • Produktbild: ZUM '95: The Z Formal Specification Notation
  • Produktbild: ZUM '95: The Z Formal Specification Notation
Band 967

ZUM '95: The Z Formal Specification Notation 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings

Aus der Reihe Lecture Notes in Computer Science

97,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

23.08.1995

Abbildungen

XIII, 583 p.

Herausgeber

Jonathan P. Bowen + weitere

Verlag

Springer Berlin

Seitenzahl

583

Maße (L/B/H)

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

Gewicht

890 g

Auflage

1995

Sprache

Englisch

ISBN

978-3-540-60271-2

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

23.08.1995

Abbildungen

XIII, 583 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

583

Maße (L/B/H)

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

Gewicht

890 g

Auflage

1995

Sprache

Englisch

ISBN

978-3-540-60271-2

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 '95: The Z Formal Specification Notation
  • Produktbild: ZUM '95: The Z Formal Specification Notation
  • 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 — Toolfor visualisation of Z specifications.- Select Z bibliography.- Comp.specification.z and Z forum frequently asked questions.