|Title||An Evaluation of an Object Oriented Formal Method for Specifying Information Systems.|
|Publication Type||Conference Proceedings|
|Year of Conference||1998|
|Authors||Kowsari, M., and A. Grau|
|Conference Name||Proceedings of the Third CAiSE/IFIP 8.1 International Workshop on Evaluation of Modeling Methods in Systems Analysis and Design (EMMSAD'98). Pisa, Italy. June 8-9, 1998|
|Publisher||University of Nebraska-Lincoln, USA|
In this paper we give an empirical evaluation of an object-oriented method which we applied to the modelling of a complex industrial information system. We describe our methodology consisting of different notations and guidelines. We also briefly show a CASE environment that we are developing for supporting our methodology. At last, we report our experiences gained during the modelling process.