Conceptual modelling for knowledge-based DSS development
暂无分享,去创建一个
[1] Joseph A. Goguen,et al. The Semantics of CLEAR, A Specification Language , 1979, Abstract Software Specifications.
[2] Helder Coelho,et al. Towards knowledge-based infolog specifications A case study of information engineering , 1985, Decis. Support Syst..
[3] Henk Sol,et al. Information Systems Design Methodologies , 1986 .
[4] K. J. Barwise,et al. Axioms for abstract model theory , 1974 .
[5] José Carmo. The INFOLOG Branching Logic of Events , 1985, TFAIS.
[6] Cristina Sernadas,et al. Conceptual Modeling Abstraction Mechanisms as Parameterized Theories in Institutions , 1985, DS-1.
[7] Peter A. Ng,et al. A Formal Definition of Entity-Relationship Models , 1979, ER.
[8] Henk Sol,et al. Information Systems Design Methodologies: A Comparative Review , 1983 .
[9] Robert A. Kowalski,et al. Logic for problem solving , 1982, The computer science library : Artificial intelligence series.
[10] Andrew B. Whinston,et al. Decision support in computer-integrated manufacturing , 1985, Decis. Support Syst..
[11] Johann A. Makowsky,et al. Characterizing Specification Languages which Admit Initial Semantics , 1983, Theor. Comput. Sci..
[12] Joseph A. Goguen,et al. Introducing Institutions , 1983, Logic of Programs.
[13] Cristina Sernadas,et al. The Use of E-R Abstractions for Knowledge Representation , 1985, ER.
[14] J. Lloyd. Foundations of Logic Programming , 1984, Symbolic Computation.