<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>10</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Kowsari, M.</style></author><author><style face="normal" font="default" size="100%">Grau, A.</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">An Evaluation of an Object Oriented Formal Method for Specifying Information Systems.</style></title><secondary-title><style face="normal" font="default" size="100%">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</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1998</style></year></dates><publisher><style face="normal" font="default" size="100%">University of Nebraska-Lincoln, USA</style></publisher><pages><style face="normal" font="default" size="100%">M1-M12</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">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.</style></abstract><label><style face="normal" font="default" size="100%">KG98</style></label></record></records></xml>