共 53 条
[31]
ter Hofstede, Proper, van der Weide, Data modelling in complex application domains, Proc. Fourth Int. Conf. CAiSE'92 on Advanced Information Systems Engineering, 593, pp. 364-377, (1992)
[32]
Hubbers, Automated support for verification & validation of graphical constraints in PSM, Technical Report 93/01, (1993)
[33]
Wijers, Heijes, Automated support of the modelling process: a view based on experiments with expert information engineers, Proc. Second Nordic Conf. CAiSE'90 on Advanced Information Systems Engineering, 436, pp. 88-108, (1990)
[34]
Cardelli, Wegner, On understanding types, data abstraction, and polymorphism, ACM Comput. Surveys, 17, 4, pp. 471-522, (1985)
[35]
Korson, McGregor, Understanding object oriented A unifying paradigm, Communications of the ACM, 33, 9, pp. 40-60, (1990)
[36]
ter Hofstede, Information modelling in data intensive domains, PhD thesis, (1993)
[37]
Halpin, McCormack, Automated validation of conceptual schema constraints, Proc. Fourth Int. Conf. CAiSE'92 on Advanced Information Systems Engineering, 593, pp. 364-377, (1992)
[38]
van Griethuysen, Concepts and Terminology for the Conceptual Schema and the Information Base, Publ. nr. ISO/TC97/SC5-N695, (1982)
[39]
Stoy, Denotational Semantics: The Scott-Strachey Approach to Programming Language Semantics, (1977)
[40]
ter Hofstede, van der Weide, Fact orientation in complex object role modelling techniques, Proc. First Int. Conf. on Object-Role Modelling (ORM-1), pp. 45-59, (1994)