Design support for initiatives and policies in conceptual models of information systems/spl minus/a Statechart approach
暂无分享,去创建一个
[1] Umeshwar Dayal,et al. The architecture of an active database management system , 1989, SIGMOD '89.
[2] Amir Pnueli,et al. What is in a Step: On the Semantics of Statecharts , 1991, TACS.
[3] David Harel,et al. On statecharts with overlapping , 1992, TSEM.
[4] Shamkant B. Navathe,et al. ER-R: An Enhanced ER Model with Situation-Action Rules to Capture Application Semantics , 1991, International Conference on Conceptual Modeling.
[5] Gregor Engels,et al. Formal Semantics of an Entity-Relationship Query Language , 1990 .
[6] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..
[7] Jozef Hooman,et al. A Compositional Axiomatization of Statecharts , 1992, Theor. Comput. Sci..
[8] T. J. Teorey,et al. A logical design methodology for relational databases using the extended entity-relationship model , 1986, CSUR.
[9] Eric N. Hanson,et al. Rule condition testing and action execution in Ariel , 1992, SIGMOD '92.
[10] Udo W. Lipeck,et al. Dynamische Integrität von Datenbanken: Grundlagen der Spezifikation und Überwachung , 1989, Informatik-Fachberichte.