ZUM '98: The Z Formal Specification Notation

ZUM '98: The Z Formal Specification Notation
Author :
Publisher : Springer Science & Business Media
Total Pages : 460
Release :
ISBN-10 : 9783540650706
ISBN-13 : 3540650709
Rating : 4/5 (709 Downloads)

Book Synopsis ZUM '98: The Z Formal Specification Notation by : Jonathan P. Bowen

Download or read book ZUM '98: The Z Formal Specification Notation written by Jonathan P. Bowen and published by Springer Science & Business Media. This book was released on 1998-09-16 with total page 460 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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 the fact that formal methods are not the only technique for producing reliable software. This seems to have caused some controversy,not least amongst formal methods practitioners. How can one of the founding fathers of formal methods seemingly denounce the ?eld of research after over a quarter of a century of support? This is a question that has been posed recently by some formal methods skeptics. However, Prof. Hoare has not abandoned formal methods. He is reiterating, 2 albeitmoreradically,his1987view thatmorethanonetoolandnotationwillbe requiredinthepractical,industrialdevelopmentoflarge-scalecomplexcomputer systems; and not all of these tools and notations will be, or even need be, formal in nature. Formalmethods arenotasolution,butratheroneofaselectionoftechniques that have proven to be useful in the development of reliable complex systems, and to result in hardware and software systems that can be produced on-time and within a budget, while satisfying the stated requirements. After almostthree decades,the time has come to view formalmethods in the context of overall industrial-scale system development, and their relationship to othertechniquesandmethods.Weshouldnolongerconsidertheissueofwhether we are “pro-formal” or “anti-formal”, but rather the degree of formality (if any) that we need to support in system development. This is a goal of ZUM’98, the 11th International Conference of Z Users, held for the ?rst time within continental Europe in the city of Berlin, Germany.


ZUM '98: The Z Formal Specification Notation Related Books

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

GET 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
ZUM ... the Z Formal Specification Notation
Language: en
Pages: 448
Authors:
Categories: Z (Computer program language)
Type: BOOK - Published: 1998 - Publisher:

GET EBOOK

FM'99 - Formal Methods
Language: en
Pages: 955
Authors: Jeannette M. Wing
Categories: Computers
Type: BOOK - Published: 2003-07-31 - Publisher: Springer

GET EBOOK

Formal methods are coming of age. Mathematical techniques and tools are now regarded as an important part of the development process in a wide range of industri
Software Engineering with Computational Intelligence
Language: en
Pages: 275
Authors: Jonathan Lee
Categories: Technology & Engineering
Type: BOOK - Published: 2013-11-11 - Publisher: Springer

GET EBOOK

It is not an exaggeration to view Professor Lee's book," Software Engineer ing with Computational Intelligence," or SECI for short, as a pioneering contribution
Refinement in Z and Object-Z
Language: en
Pages: 498
Authors: John Derrick
Categories: Mathematics
Type: BOOK - Published: 2013-08-30 - Publisher: Springer Science & Business Media

GET EBOOK

Refinement is one of the cornerstones of the formal approach to software engineering, and its use in various domains has led to research on new applications and