Sciweavers

Share
KBSE
1998
IEEE

From Z to BON/Eiffel

9 years 6 months ago
From Z to BON/Eiffel
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
Added 05 Aug 2010
Updated 05 Aug 2010
Type Conference
Year 1998
Where KBSE
Authors Richard F. Paige, Jonathan S. Ostroff
Comments (0)
books