From Z to BON/Eiffel

Proceedings - 13th IEEE International Conference on Automated Software Engineering, ASE 1998

Volumn 1998-October, Issue , 1998, Pages 209-212

  Paige, R F ^a   Ostroff, J S ^a  

^a YORK UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION;

BUSINESS OBJECTS; DEVELOPMENT METHOD; EXPRESSIVE POWER; FORMAL NOTATIONS; OBJECT ORIENTATION; SEMI-AUTOMATED; Z SPECIFICATIONS;

SOFTWARE ENGINEERING;

EID: 38149110116     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.1998.732645     Document Type: Conference Paper

References (4)

1. B. Meyer. Object Oriented Software Construction. Prentice Hall, 1997.
2. R. Paige and J. Ostroff. From Z to BON/Eiffel. Technical Report TR-98-05, York University, July 1998.
3. J. Spivey. The Z Notation: A Reference Manual. Prentice Hall, 1992.
4. K. Walden and J.-M. Nerson. Seamless Object Oriented Software Architecture. Prentice Hall, 1995.