An Evaluation of an Object Oriented Formal Method for Specifying Information Systems.

TitleAn Evaluation of an Object Oriented Formal Method for Specifying Information Systems.
Publication TypeConference Proceedings
Year of Conference1998
AuthorsKowsari, M., and A. Grau
Conference NameProceedings 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
PaginationM1-M12
PublisherUniversity 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.

Publicno