Read Anywhere and on Any Device!

Subscribe to Read | $0.00

Join today and start reading your favorite books for Free!

Create Free Account

Object Orientation In Z

4/5 ( ratings)

Z is currently one of the more popular formal specification languages. Practical experience has shown, however, that the Z schema is insufficient to support the structuring of large specifications, and many attempts have been made to develop adequate extensions to it. One of the most promising avenues of research is the use of object orientation technology, which has great potential as a means of structuring large, complex software systems. This volume contains a collection of papers investigating different approaches for providing Z with an object oriented structuring mechanism. It evolved from a comparative study of ways in which object orientation has been combined with Z, which was carried out as part of the DTI/IED-funded ZIP Project. As a result of interest generated by the study last year at both the ZOOM Workshop in Oxford and the Sixth Annual Z User Meeting in York, it was revised and expanded into its present form. In each chapter a different approach is described and assessed. Among the topics covered are: Why an object oriented Z?; Example specifications in Z; Hall's style; Z expression of refinable objects; MooZ case studies; Object-Z: OOZE; Schuman and Pitt approach; Z++; ZEST; Specification in Fresco; Z and HOOD. Object Orientation in Z provides a unique comparative approach to this important area of research. It will be of interest to undergraduate and postgraduate students of formal methods and software systems design, as well as to commercial software researchers.

Language: English

Pages: 146

Format: Paperback

Publisher: Springer

Release: September 01, 1992

ISBN: 3540197788

ISBN 13: 9783540197782

Object Orientation In Z

4/5 ( ratings)

Z is currently one of the more popular formal specification languages. Practical experience has shown, however, that the Z schema is insufficient to support the structuring of large specifications, and many attempts have been made to develop adequate extensions to it. One of the most promising avenues of research is the use of object orientation technology, which has great potential as a means of structuring large, complex software systems. This volume contains a collection of papers investigating different approaches for providing Z with an object oriented structuring mechanism. It evolved from a comparative study of ways in which object orientation has been combined with Z, which was carried out as part of the DTI/IED-funded ZIP Project. As a result of interest generated by the study last year at both the ZOOM Workshop in Oxford and the Sixth Annual Z User Meeting in York, it was revised and expanded into its present form. In each chapter a different approach is described and assessed. Among the topics covered are: Why an object oriented Z?; Example specifications in Z; Hall's style; Z expression of refinable objects; MooZ case studies; Object-Z: OOZE; Schuman and Pitt approach; Z++; ZEST; Specification in Fresco; Z and HOOD. Object Orientation in Z provides a unique comparative approach to this important area of research. It will be of interest to undergraduate and postgraduate students of formal methods and software systems design, as well as to commercial software researchers.

Language: English

Pages: 146

Format: Paperback

Publisher: Springer

Release: September 01, 1992

ISBN: 3540197788

ISBN 13: 9783540197782

More books from David Cooper

Wild Guide Scotland: Hidden Places, Great Adventures & the Good Life

4.5/5 ( ratings)

Double D Book One

2.9/5 ( ratings)

Molecular Revolution: Psychiatry and Politics

4.4/5 ( ratings)

Un diálogo sobre el poder y otras conversaciones

3.5/5 ( ratings)

Psychology of Human Behavior: A beginner's guide to learn how to influence people, reading body language and improve your social skillls and relationship. Includes NLP techniques, Hypnosis and CBT

3.3/5 ( ratings)

Marcus Makes It Big

3.7/5 ( ratings)

Bridge Over the River Why: A Guide for Those Who Have Suffered the Loss of a Child to Suicide

A Gap Life

3.7/5 ( ratings)

Werner & Ingbar's the Thyroid: A Fundamental and Clinical Text

4.5/5 ( ratings)

Keep On Believing!

4.5/5 ( ratings)

Invoking Angels

4.2/5 ( ratings)

La muerte de la familia

Dark Psychology: 3 in 1: The BIBLE to Master the Art of How to Read, Influence and Win People Using Subliminal Manipulation With Secret Techniques Against Deception, Brainwashing and Covert NLP

4.3/5 ( ratings)

Self Esteem and Self Help: Learn How to Decode People Personalities by Knowing Body Language, Dark Psychology & Manipulation Techniques Even to Recognizing ... Most Dangerous Subtle Form of Narcissism

4.5/5 ( ratings)

Memes: The Best Collection of Funny Fortnite Battle Royale Edition Memes (Comedy and Joke Book For Kids and Teens, Dank Memes Book and Pictures, Fresh, Roblox, Jokes, Fails, Comments and Roasts)

A Look Around Space

Years of Expansion: British History, 1815-1914

Practising Place: Creative and Critical Reflections on Place

Neurofibromatosis Type 1: Molecular and Cellular Biology

Functional Analysis of the Human Genome

Rate this book!

Write a review?