The mathematical concepts and notational conventions known as Z were first proposed around 1981. The objective was to establish a mathematical basis for programming concepts, and to verify the work by case studies with industry. Since 1986 there has been a steady growth in the number of Z users, and a corresponding increase in the publication of technical papers and reports of work with Z. The annual Z user meetings offer an excellent focal point for work published on Z, and provide a forum for the discussion of new developments. Z User Workshop, York 1991, provides an important overview of new developments in theoretical and practical aspects of Z. It will be of interest to academic and industrial researchers, as well as teachers of formal methods, and industrial software engineers.
Theoretical Foundations.- On Recursive Free Types in Z.- On Free Type Definitions in Z.- Z and Hoare Logics.- W: A Logic for Z.- Scope of Use.- The Use of Z.- Extending the Useful Application Domain for Formal Methods.- Domains of Application for Formal Methods.- Z-, an Executable Subset of Z.- Special Applications.- Engineering Human-Error Tolerant Software.- Techniques for Partial Specification and Specification of Switching Systems.- Tools.- Z and Eves.- zedB: A Proof Tool for Z Built on B.- Structured Methods and Object-Oriented Approaches.- A Method for the Specification of Relational Database Applications.- Structured Analysis' A Draft Method for Writing Z Specifications.- Enhancing the Structure of Z Specifications.- ZOOM Workshop Report.- Bibliography etc.- Select Z Bibliography and Frequently Asked Questions.- Author Index.
Series: Workshops in Computing
Number Of Pages: 408
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 24.41 x 16.99
Weight (kg): 0.66