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 |
Pagination | M1-M12 |
Publisher | University of Nebraska-Lincoln, USA |
Abstract | 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. |
Public | no |