![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Object 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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.