| 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 |