Object Orientation in Z
Edit Page
Report
Scan day: 16 February 2014 UTC
11
Virus safety - good
Description: Edited by Susan Stepney, Rosalind Barden, David Cooper; Springer-Verlag, 1992, ISBN 3540197788. Set of papers showing many ways to add OO concepts and structuring to Z. Each shows same problems, for comparing. [University of York]
Stepney, Barden, Cooper, eds: Object Orientation in Z Susan Stepney, Rosalind Barden, David Cooper, editors. Workshops in Computing. Springer, 1992. This collection of papers draws together a variety of approaches for adding OO concepts and structuring capability to the Z formal specification language. Each approach is used to specify the same two problems, to allow a comparison.
Size: 382 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Stepney, Barden, Cooper, eds: Object Orientation in Z |
| Keywords: | |
| Description: | |
| IP-address: | 144.32.41.4 |