Z User Workshop

Author : John E. Nicholls
Publisher : Springer Science & Business Media
Page : 284 pages
File Size : 46,5 Mb
Release : 2013-03-14
Category : Computers
ISBN : 9781447138778

Get Book

Z User Workshop by John E. Nicholls Pdf

The mathematical concepts and notational conventions we know of as Z were first proposed around 1981. Its origins were in line with the objectives of the PRG - to establish a mathematical basis for program ming concepts and to verify the work by case studies with industry. Hence among early Z users some were from academic circles, with interests in the mathematical basis of programming; others came from industry and were involved with pilot projects and case studies linked with the Programming Research Group. Four years ago we had the first Z User Meeting, a fairly modest affair with representatives more or less equally divided between academia and industry. At the first meeting there were, as in this meeting, a variety of technical papers, reports of work in progress and discussions. A number of people from industry came along, either because they had begun to use Z or were curious about the new direction. In the discussion sessions at the end of the meeting, there were calls from attendees for the establishment of a more stable base for the notation, including work on its documentation and standards. Many of these requests have now been satisfied and the notation is now being proposed for standards development.

Author : J.P. Bowen,J.E. Nicholls
Publisher : Springer Science & Business Media
Page : 350 pages
File Size : 51,7 Mb
Release : 2013-03-09
Category : Computers
ISBN : 9781447135562

Get Book

Z User Workshop, London 1992 by J.P. Bowen,J.E. Nicholls Pdf

The Z notation has been developed at the Programming Research Group at the Oxford University Computing Laboratory and elsewhere for over a decade. It is now used by industry as part of the software (and hardware) development process in both Europe and the USA. It is currently undergoing BSI standardisation in the UK, and has been proposed for ISO standardisation internationally. In recent years researchers have begun to focus increasingly on the development of techniques and tools to encourage the wider application of Z and other formal methods and notations. This volume contains papers from the Seventh Annual Z User Meeting, held in London in December 1992. In contrast to previous years the meeting concentrated specifically on industrial applications of Z, and a high proportion of the participants came from an industrial background. The theme is well represented by the four invited papers. Three of these discuss ways in which formal methods are being introduced, and the fourth presents an international survey of industrial applications. It also provides a reminder of the improvements which are needed to make these methods an accepted part of software development. In addition the volume contains several submitted papers on the industrial use of Z, two of which discuss the key area of safety-critical applications. There are also a number of papers related to the recently-completed ZIP project. The papers cover all the main areas of the project including methods, tools, and the development of a Z Standard, the first publicly-available version of which was made available at the meeting. Finally the volume contains a select Z bibliography, and section on how to access information on Z through comp.specification.z, the international, computer-based USENET newsgroup. Z User Workshop, London 1992 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.

Author : J.P. Bowen,J.A. Hall
Publisher : Springer Science & Business Media
Page : 405 pages
File Size : 48,9 Mb
Release : 2012-12-06
Category : Computers
ISBN : 9781447134527

Get Book

Z User Workshop, Cambridge 1994 by J.P. Bowen,J.A. Hall Pdf

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.

Author : J. E. Nicholls
Publisher : Springer Science & Business Media
Page : 404 pages
File Size : 51,5 Mb
Release : 2012-12-06
Category : Computers
ISBN : 9781447132035

Get Book

Z User Workshop, York 1991 by J. E. Nicholls Pdf

In ordinary mathematics, an equation can be written down which is syntactically correct, but for which no solution exists. For example, consider the equation x = x + 1 defined over the real numbers; there is no value of x which satisfies it. Similarly it is possible to specify objects using the formal specification language Z [3,4], which can not possibly exist. Such specifications are called inconsistent and can arise in a number of ways. Example 1 The following Z specification of a functionf, from integers to integers "f x : ~ 1 x ~ O· fx = x + 1 (i) "f x : ~ 1 x ~ O· fx = x + 2 (ii) is inconsistent, because axiom (i) gives f 0 = 1, while axiom (ii) gives f 0 = 2. This contradicts the fact that f was declared as a function, that is, f must have a unique result when applied to an argument. Hence no suchfexists. Furthermore, iff 0 = 1 andfO = 2 then 1 = 2 can be deduced! From 1 = 2 anything can be deduced, thus showing the danger of an inconsistent specification. Note that all examples and proofs start with the word Example or Proof and end with the symbol.1.

Author : J.E. Nicholls
Publisher : Springer Science & Business Media
Page : 386 pages
File Size : 46,5 Mb
Release : 2013-11-11
Category : Computers
ISBN : 9781447135401

Get Book

Z User Workshop, Oxford 1990 by J.E. Nicholls Pdf

Author : Anonim
Publisher : Unknown
Page : 0 pages
File Size : 54,9 Mb
Release : 1991
Category : Clergy conferences
ISBN : OCLC:1180930919

Get Book

Z User Workshop by Anonim Pdf

Author : Anonim
Publisher : Unknown
Page : 292 pages
File Size : 55,8 Mb
Release : 1990
Category : Z (Computer program language)
ISBN : CORNELL:31924059046114

Get Book

Z User Workshop by Anonim Pdf

Author : John E. Nicholls
Publisher : Springer Verlag
Page : 401 pages
File Size : 55,5 Mb
Release : 1992
Category : Computers
ISBN : 038719780X

Get Book

Z User Workshop, York 1991 by John E. Nicholls Pdf

Author : J.P. Bowen,J.E. Nicholls
Publisher : Springer
Page : 368 pages
File Size : 48,9 Mb
Release : 1993-06-10
Category : Computers
ISBN : 3540198180

Get Book

Z User Workshop, London 1992 by J.P. Bowen,J.E. Nicholls Pdf

The Z notation has been developed at the Programming Research Group at the Oxford University Computing Laboratory and elsewhere for over a decade. It is now used by industry as part of the software (and hardware) development process in both Europe and the USA. It is currently undergoing BSI standardisation in the UK, and has been proposed for ISO standardisation internationally. In recent years researchers have begun to focus increasingly on the development of techniques and tools to encourage the wider application of Z and other formal methods and notations. This volume contains papers from the Seventh Annual Z User Meeting, held in London in December 1992. In contrast to previous years the meeting concentrated specifically on industrial applications of Z, and a high proportion of the participants came from an industrial background. The theme is well represented by the four invited papers. Three of these discuss ways in which formal methods are being introduced, and the fourth presents an international survey of industrial applications. It also provides a reminder of the improvements which are needed to make these methods an accepted part of software development. In addition the volume contains several submitted papers on the industrial use of Z, two of which discuss the key area of safety-critical applications. There are also a number of papers related to the recently-completed ZIP project. The papers cover all the main areas of the project including methods, tools, and the development of a Z Standard, the first publicly-available version of which was made available at the meeting. Finally the volume contains a select Z bibliography, and section on how to access information on Z through comp.specification.z, the international, computer-based USENET newsgroup. Z User Workshop, London 1992 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.

Author : John E. Nicholls
Publisher : Springer Verlag
Page : 277 pages
File Size : 43,6 Mb
Release : 1990
Category : Z (Computer program language)
ISBN : 0387196277

Get Book

Z User Workshop by John E. Nicholls Pdf

Author : Jonathan Peter Bowen,John E. Nicholls
Publisher : Springer
Page : 364 pages
File Size : 42,9 Mb
Release : 1993
Category : Computers
ISBN : UCSC:32106010110648

Get Book

Z User Workshop, London 1992 by Jonathan Peter Bowen,John E. Nicholls Pdf

Author : Anonim
Publisher : Unknown
Page : 600 pages
File Size : 47,9 Mb
Release : 1995
Category : Z (Computer program language)
ISBN : UOM:39015034531296

Get Book

ZUM ... the Z Formal Specification Notation by Anonim Pdf

Author : John E. Nicholls
Publisher : Springer Verlag
Page : 387 pages
File Size : 40,5 Mb
Release : 1991
Category : Computers
ISBN : 0387196722

Get Book

Z User Workshop, Oxford, 1990 by John E. Nicholls Pdf

Author : Ursula Martin,Jeannette Marie Wing
Publisher : Springer
Page : 334 pages
File Size : 46,9 Mb
Release : 1993
Category : Computers
ISBN : UOM:39015029979922

Get Book

First International Workshop on Larch by Ursula Martin,Jeannette Marie Wing Pdf

Author : Geoffrey Burn
Publisher : Springer
Page : 348 pages
File Size : 41,5 Mb
Release : 1993-09-24
Category : Computers
ISBN : UOM:39015028936220

Get Book

Theory and Formal Methods 1993 by Geoffrey Burn Pdf

The Theory and Formal Methods Section of the Imperial College Department of Computing has an international reputation for research into the foundations of computer science, and the application of this theory to real computing problems. In March 1993 it held the first in a proposed series of workshops on theory and formal methods at the Isle of Thorns Conference Centre in Sussex, UK. Almost every member of the section contributed to the workshop, thereby providing comprehensive coverage of the work being done by this important research group. This volume contains revised versions of the papers presented at the workshop. They cover four main areas - semantics, concurrency, logic, and specification - with some papers spanning a variety of disciplines. The papers fall into two main categories: review papers which provide the reader with a good introduction to some of the specific areas being studied by the section, and research papers which give details of the latest results in these areas.