default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDObject Orientation in Z 1992
- Susan Stepney, Rosalind Barden, David Cooper:
Object Orientation in Z. Workshops in Computing, Springer 1992, ISBN 3-540-19778-8 - Why an Object Oriented Z? Object Orientation in Z 1992: 1-5
- Example Specification in Z. Object Orientation in Z 1992: 7-17
- Hall's Style. Object Orientation in Z 1992: 19-28
- Peter John Whysall:
Z Expression of Refinable Objects. Object Orientation in Z 1992: 29-35 - Silvio Romero de Lemos Meira, Ana Cavalcanti:
MooZ Case Studies. Object Orientation in Z 1992: 37-58 - Gordon A. Rose:
Object-Z. Object Orientation in Z 1992: 59-77 - Antonio J. Alencar, Joseph A. Goguen:
OOZE. Object Orientation in Z 1992: 79-94 - Schuman & Pitt Approach. Object Orientation in Z 1992: 95-104
- Kevin Lano:
Z++. Object Orientation in Z 1992: 105-112 - Elspeth Cusack, G.-H. Bagherzadeh Rafsanjani:
ZEST. Object Orientation in Z 1992: 113-126 - Alan Wills:
Specification in Fresco. Object Orientation in Z 1992: 127-135 - Z and HOOD. Object Orientation in Z 1992: 137-138
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-23 19:39 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
