Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

11

KBSE
1998
IEEE

favoriteEmaildiscussreport

97views Software Engineering» more KBSE 1998»

From Z to BON/Eiffel

13 years 8 months ago

From Z to BON/Eiffel

Download www.cse.yorku.ca

It is shown how to make a transition from the Z formal notation [3] to the Business Object Notation (BON) [4]. It is demonstrated that BON has the expressive power of Z, with the additional advantages of object-orientation and a supporting seamless development method. The transition is illustrated for some widely used Z constructs. The translation lays the groundwork for a semi-automated tool for extracting classes from Z specifications.

Richard F. Paige, Jonathan S. Ostroff

Real-time Traffic

Business Object Notation | Formal Notation | KBSE 1998 | Seamless Development Method | Software Engineering |

claim paper

Related Content

» An Overview of RoZ A Tool for Integrating UML and Z Specifications

» Generating ObjectZ Specifications from Use Cases

» Extracting paths from fields built with linear interpolation

» Cell selection from technology libraries for minimizing power

» Experiences from NASALangleys DMSS Project

» An Improved Algorithm for Reconstructing a Simple Polygon from the Visibility Angles

» Character size and reading to remember from small displays

» zFS A Scalable Distributed File System Using Object Disks

» Institution Morphisms for Relating OWL and Z

Post Info
More Details (n/a)

Added	05 Aug 2010
Updated	05 Aug 2010
Type	Conference
Year	1998
Where	KBSE
Authors	Richard F. Paige, Jonathan S. Ostroff

Comments (0)