Search Results

Z User Workshop, Cambridge 1994

Download or Read eBook Z User Workshop, Cambridge 1994 PDF written by J.P. Bowen and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 405 pages. Available in PDF, EPUB and Kindle.
Z User Workshop, Cambridge 1994
Author :
Publisher : Springer Science & Business Media
Total Pages : 405
Release :
ISBN-10 : 9781447134527
ISBN-13 : 1447134524
Rating : 4/5 (27 Downloads)

Book Synopsis Z User Workshop, Cambridge 1994 by : J.P. Bowen

Book excerpt: This volume contains papers from the Eighth Z User Meeting, to be held at the University of Cambridge from 29 - 30 June 1994. The papers cover a wide range of issues associated with Z and formal methods, with particular reference to practical application. These issues include education, standards, tool support, and interaction with other design paradigms such as consideration of real-time and object-oriented approaches to development. Among the actual topics covered are: the formal specification in Z of Defence Standard 00-56; formal specification of telephone features; specifying and interpreting class hierarchies in Z; and software quality assurance using the SAZ method. Z User Workshop, Cambridge 1994 provides an important overview of current research into industrial applications of Z, and will provide invaluable reading for researchers, postgraduate students and also potential industrial users of Z.


Z User Workshop, Cambridge 1994 Related Books

Z User Workshop, Cambridge 1994
Language: en
Pages: 405
Authors: J.P. Bowen
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume contains papers from the Eighth Z User Meeting, to be held at the University of Cambridge from 29 - 30 June 1994. The papers cover a wide range of i
ZUM '98: The Z Formal Specification Notation
Language: en
Pages: 460
Authors: Jonathan P. Bowen
Categories: Computers
Type: BOOK - Published: 1998-09-16 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

1 In a number of recent presentations – most notably at FME’96 –oneofthe foremost scientists in the ?eld of formal methods, C.A.R. Hoare,has highlighted t
B'98: Recent Advances in the Development and Use of the B Method
Language: en
Pages: 328
Authors: Bert Didier
Categories: Computers
Type: BOOK - Published: 1998-04-08 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book presents the refereed proceedings of the Second International B Conference, B'98, held in Montpellier, France, in April 1998. The book presents 15 rev
Active and Real-Time Database Systems (ARTDB-95)
Language: en
Pages: 276
Authors: Mikael Berndtsson
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The areas of active and real-time databases have seen a tremendous growth of interest in the past few years, particularly with regard to their support of time-c
East/West Database Workshop
Language: en
Pages: 456
Authors: Johann Eder
Categories: Computers
Type: BOOK - Published: 1995-03-22 - Publisher: Springer

DOWNLOAD EBOOK

This volume results from the four-day scientific Second International East/West Database Workshop which took place 25th-28th September 1994, in Klagenfurt, Aust
Scroll to top