Information systems modelling with troll formal methods at work

Publisher Website

31 May 1997

journal article
Published by Elsevier in Information Systems

Vol. 22 (2-3) , 79-99
https://doi.org/10.1016/s0306-4379(97)00006-9

Abstract

No abstract available

Keywords

This publication has 7 references indexed in Scilit:

TROLL
ACM Transactions on Information Systems, 1996
MODELING BUSINESS PROCESSES OVER OBJECT
International Journal of Cooperative Information Systems, 1995
A Review of Object-Oriented Approaches in Formal Methods
The Computer Journal, 1995
APPLICATION MODELLING IN HETEROGENEOUS ENVIRONMENTS USING AN OBJECT SPECIFICATION LANGUAGE
International Journal of Cooperative Information Systems, 1993
Towards a semantic view of an extended entity-relationship model
ACM Transactions on Database Systems, 1991
Telos: representing knowledge about information systems
ACM Transactions on Information Systems, 1990
No Silver Bullet Essence and Accidents of Software Engineering
Computer, 1987