1
Download:
|
|
by R. B. France, J-m. Bruel
http://www.univ-pau.fr/~bruel/./publications/invoicing98.ps
Add To MetaCart
Abstract:
Abstract. In this paper, we use the Fusion Object-Oriented (OO) analysis method to create graphical OO models of the Invoicing Case Study proposed by Henri Habrias. The OO models are expressed in the Unified Modeling Language (UML). The UML models we produced were analyzed by transforming them to Z specifications. 1
Citations
| 34 | An Integrated Object-Oriented and Formal Modeling Environment – France, Bruel, et al. - 1996 |
| 23 | Towards a formalization of UML class structures in Z – Shroff, France - 1997 |
| 8 | An Approach to Animating Z Specifications. Division of Software Engineering – Jia - 1995 |
