Nicholls | Z User Workshop, Oxford 1990 | E-Book | sack.de
E-Book

E-Book, Englisch, 389 Seiten, eBook

Reihe: Workshops in Computing

Nicholls Z User Workshop, Oxford 1990

Proceedings of the Fifth Annual Z User Meeting, Oxford, 17–18 December 1990
Erscheinungsjahr 2013
ISBN: 978-1-4471-3540-1
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

Proceedings of the Fifth Annual Z User Meeting, Oxford, 17–18 December 1990

E-Book, Englisch, 389 Seiten, eBook

Reihe: Workshops in Computing

ISBN: 978-1-4471-3540-1
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

Nicholls Z User Workshop, Oxford 1990 jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Nicholls, J.E.

Weitere Infos & Material

Theory and Foundations.- A Simpler Semantics for Z.- Interpretations of Z Schema Operators.- Promoting Forward Simulation.- Operation Schema Iterations.- Interference Revisited.- Standards and Tools.- A Tool for Defining the Architecture of Z Specifications.- CADi? — Computer Aided Design in Z.- Machine support for Z: the zedB tool.- The ZIP project.- Methods.- What is a Good Formal Specification?.- Z++, An Object-Orientated Extension To Z.- Modular Object-Oriented Z Specifications.- An Approach to Object Oriented Specification using Z.- Data Flow Diagrams and Z.- Using Yourdon and Z : an Approach to Formal Specification.- A Case Study in Representing a Model: To Z or Not To Z?.- Obtaining Structural Metrics of Z Specifications for Systems Development.- Industrial Applications.- The CICS application programming interface definition.- Z! In Progress: Maintaining Z specifications.- Service Extension at the Specification Level.- Training and Education.- A Video-based Training Course in Reading Z Specifications.- A survey of Z courses in the UK.- Selected Z Bibliography.- Selected Z Bibliography.- Posters.- Metrics and Measurement of Specifications Written in Z.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.