|
Conferences in DBLP
Why an Object Oriented Z? [Citation Graph (0, 0)][DBLP] Object Orientation in Z, 1992, pp:1-5 [Conf]
Example Specification in Z. [Citation Graph (0, 0)][DBLP] Object Orientation in Z, 1992, pp:7-17 [Conf]
Hall's Style. [Citation Graph (0, 0)][DBLP] Object Orientation in Z, 1992, pp:19-28 [Conf]
- Peter J. Whysall
Z Expression of Refinable Objects. [Citation Graph (0, 0)][DBLP] Object Orientation in Z, 1992, pp:29-35 [Conf]
- Silvio Romero de Lemos Meira, Ana Cavalcanti
MooZ Case Studies. [Citation Graph (0, 0)][DBLP] Object Orientation in Z, 1992, pp:37-58 [Conf]
- Gordon A. Rose
Object-Z. [Citation Graph (0, 0)][DBLP] Object Orientation in Z, 1992, pp:59-77 [Conf]
- Antonio J. Alencar, Joseph A. Goguen
OOZE. [Citation Graph (0, 0)][DBLP] Object Orientation in Z, 1992, pp:79-94 [Conf]
Schuman & Pitt Approach. [Citation Graph (0, 0)][DBLP] Object Orientation in Z, 1992, pp:95-104 [Conf]
- Kevin Lano
Z++. [Citation Graph (0, 0)][DBLP] Object Orientation in Z, 1992, pp:105-112 [Conf]
- Elspeth Cusack, G.-H. Bagherzadeh Rafsanjani
ZEST. [Citation Graph (0, 0)][DBLP] Object Orientation in Z, 1992, pp:113-126 [Conf]
- Alan Wills
Specification in Fresco. [Citation Graph (0, 0)][DBLP] Object Orientation in Z, 1992, pp:127-135 [Conf]
Z and HOOD. [Citation Graph (0, 0)][DBLP] Object Orientation in Z, 1992, pp:137-138 [Conf]
|