.gif)
] Filters: Author is Kowsari, M. [Clear All Filters]
On the Development and Use of a Formal Object Oriented Methodology Based on an Application Case Study,
: Technical University Braunschweig, Germany, January, 2003.
Abstract
"Developing an Information System Using TROLL: an Application Field Study",
Proc1 8th Int1 Conf1 on Advanced Information Systems Engineerin1 (CAiSE'96): Springer, Berlin, LNCS 1080, pp. 136-159, 1996.
Abstract
"Ein Fallbeispiel zur Evaluation einer Objektorientierten Methodik",
7.Workshop Grundlagen von Datenbanken: Universität Hildesheim Institut für Informatik, pp. 88-93, Juni, 1995.
Abstract
"An Evaluation of an Object Oriented Formal Method for Specifying Information Systems.",
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: University of Nebraska-Lincoln, USA, pp. M1-M12, 1998.
Abstract
"Formal Object Oriented Specification Language \sc Troll in Information System Design",
Doctoral Consortium of 2nd Int. Baltic Workshop on Databases and Information Systems, Tallinn, June 12-14, 1996, 1996.
Abstract
"Specifiying the Remote Controlling of Valves in an Explosion Test Environment",
Formal Methods Europe, FME'97, 4th Intern.\ Symposium, Technical University Graz, Austria, 15-19 September, 1997: Springer, Berlin, LNCS 1313, pp. 201-220, 1997.
Abstract
"The TROLL Approach to Conceptual Modelling: Syntax, Semantics and Tools",
Proc1 of the 17th Int. Conference on Conceptual Modeling (ER'98), Singapore: Springer, LNCS 1507, pp. 277-290, November, 1998.
Abstract
"A Validation System for Object-Oriented Specifications of Information Systems",
Proc. of the First East-European Symposium on Advances in Databases and Information Systems (ADBIS'97) St. Petersburg: eWiC, Springer, 1997.
Abstract
"Information systems modelling with TROLL formal methods at work",
Information Systems, vol. 22, no. 2-3, pp. 79-99, 1997.
Abstract