Cover Image

Object orientation in Z /

Show other versions (1)

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 avenu...

Full description

Bibliographic Details
Corporate Authors: SpringerLink (Online service), British Computer Society
Other Authors: Stepney, Susan, 1958-, Barden, Rosalind, 1959-, Cooper, David, 1958-
Format: eBook
Language:English
Published: London ; New York : Springer-Verlag, [1992]
Series:Workshops in computing.
Subjects:
Object-oriented programming (Computer science)
Z (Computer program language)
Z (programmeertaal)
Object-georiënteerd programmeren.
Aufsatzsammlung.
Objektorientierte Programmierung.
Z (Programmiersprache)
Programming languages
Electronic books.
Online Access:Connect to the full text of this electronic book
Table of Contents:
  • Z expression of refinable objects / P.J. Whysall
  • MooZ case studies / S.L. Meira and A.L.C. Cavalcanti
  • Object-Z / G.A. Rose
  • OOZE / A.J. Alencar and J.A. Goguen
  • Schuman & Pitt approach
  • Z / K.C. Lano
  • ZEST / E. Cusack and G.H.B. Rafsanjani
  • Specification in Fresco / A. Willis.