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

Similar Items

Refinement in Z and Object-Z : foundations and advanced applications /
by: Derrick, John, 1963-
Published: (2001)

Object orientation in Z /
Published: (1992)

Formal object-oriented development /
by: Lano, K.
Published: (1995)

An introduction to object-oriented programming in C++ : with applications in computer graphics /
by: Seed, Graham M., 1965-
Published: (1996)

Objects and systems : principled design with implementations in C++ and Java /
by: Zeigler, Bernard P., 1940-
Published: (1997)

Z User Workshop, Oxford, 1990 : proceedings of the Fifth Annual Z User Meeting, 17-18 December 1990, Oxford /
Published: (1991)

Object-oriented behavorial specifications /
Published: (1996)

ZUM '97, the Z formal specification notation : 10th International Conference of Z Users, Reading, UK, April 3-4, 1997 : proceedings /
Published: (1997)

CAD & office integration : OLE for design and modeling--a new technology for CA-software /
by: Sendler, Ulrich, 1951-
Published: (1996)

ZB 2003 : formal specification and development in Z and B : third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003 : proceedings /
Published: (2003)

ZB 2000 : formal specification and development in Z and B : first International Conference of B and Z Users, York, UK, August 29-September 2, 2000 : proceedings /
Published: (2000)

ECOOP 2000, object-oriented programming : 14th European conference, Sophia Antipolis and Cannes, France, June 12-16, 2000 : proceedings /
Published: (2000)

Object-oriented reengineering patterns /
by: Demeyer, Serge
Published: (2003)

The Z notation : a reference manual /
by: Spivey, J. M.
Published: (1989)

Ruby developer's guide /
by: Feldt, Robert
Published: (2002)

Object-oriented analysis and design for information systems : modeling with UML, OCL, and IFML /
by: Wazlawick, Raul Sidnei
Published: (2014)

Object-oriented methodologies and systems : international symposium, ISOOMS '94, Palermo, Italy, September 21-22, 1994 : proceedings /
Published: (1994)

Z User Workshop : proceedings of the Fourth Annual Z User Meeting, Oxford, 15 December 1989 /
Published: (1990)

Object-oriented programming under Windows /
by: Morris, Stephen, 1955-
Published: (1994)

Z User Workshop, London 1992 : proceedings of the Seventh annual Z User Meeting, London, 14-15 December 1992 /
Published: (1993)

Object-oriented technology : ECOOP' 97 workshop reader : ECOOP 97 workshops, Jyväskylä, Finland, June 9-13, 1997 : proceedings /
Published: (1998)

ZB 2005 : formal specification and development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005 : proceedings /
Published: (2005)

Understanding Z : a specification language and its formal semantics /
by: Spivey, J. M.
Published: (1988)

ZUM'98 : the Z formal specification notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998 : proceedings /
Published: (1998)

Object-oriented programming in Python /
by: Goldwasser, Michael H., 1969-
Published: (2008)

Object-oriented software in C++ /
by: Smith, Michael A., 1952-
Published: (1993)

Variational object-oriented programming beyond classes and inheritance /
by: Mezini, Mira, 1966-
Published: (1998)

ZB 2002: formal specification and development in Z and B : 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002 : proceedings /
Published: (2002)

Object-oriented technology : ECOOP 2003 workshop reader : ECOOP 2003 workshops, Darmstadt, Germany, July 21-25, 2003, final reports /
Published: (2004)

Fundamentals of object-oriented programming : Java and IntelliJ.
Published: (2022)

Object-oriented programming using C++ /
by: Farrell, Joyce
Published: (2001)

Deciphering Object-Oriented Programming with C++ : A Practical, in-Depth Guide to Implementing Object-oriented Design Principles to Create Robust Code.
by: Kirk, Dorothy R.
Published: (2022)

ECOOP'97-- object-oriented programming : 11th European Conference, Jyväskylä, Finland, June, 9-13, 1997 : proceedings /
Published: (1997)

ECOOP 2001 - object-oriented programming : 15th European conference, Budapest, Hungary, June 18-22, 2001 : proceedings /
Published: (2001)

Ruby developer's guide /
by: Feldt, Robert
Published: (2002)

Learn how to program using any web browser /
by: Davis, Harold, 1953-
Published: (2004)

Programming in an object-oriented environment /
by: Ege, Raimund K.
Published: (1992)

Z/OS Job Control Language /
by: Brown, Gary DeWard
Published: (2002)

Technology of object-oriented languages and systems : TOOLS.

Inside the object model : the sensible use of C++ /
by: Papurt, David M., 1954-
Published: (1995)