scholar.google.com › citations
Proof-theoretic conceptual modeling: the NIAM case study. In E. D. Falkenberg, & P. Lindgreen (Eds.), Information System Concepts: an in-depth Analysis (pp.
Proof-theoretic conceptual modeling – the NIAM case-study ...
pure.royalholloway.ac.uk › publications
Proof-theoretic conceptual modeling – the NIAM case-study. In ED. FALKENBERG (Ed.), INFORMATION SYSTEM CONCEPTS : AN IN-DEPTH ANALYSIS (pp. 1-30). ELSEVIER ...
Bibliographic details on Proof-theoretic Conceptual Modeling: the NIAM Case Study.
Proof-theoretic conceptual modeling: The NIAM case study. In E. Falkenberg and P. Lindgreen, editors, Information Systems Concepts: An In-Depth Analysis ...
Proof-theoretic conceptual modelling: the NIAM case study. Proc. IFIP TC8/WG 8.1 Working Conf. on Information System Concepts: An In-depth Analysis (1989) ...
This paper describes AxSL, an Axiomatic Specification Language that extends algebraic axiom methods to support object-oriented concepts such as procedural ...
We evaluate this grammar systematically using an ontological model proposed by Bunge, Wand and Weber. Our analysis shows niam'Sgrammar has many desirable ...
[PDF] Information Systems and Conceptual Modeling— A Research Agenda
www.cs.northwestern.edu › papers
Within the information systems field, the task of conceptual modeling involves building a representation of selected phenomena in some domain.
Missing: Proof- | Show results with:Proof-
Proof-theoretic conceptual modelling: The NIAM case study. In Proceedings of ... They prove Ramsey's Theorem, which con- cerns finite graphs, in both systems ...
... Proof-theoretic Conceptual Modeling: The NIAM Case Study", in Information System Concepts: An In-depth Analysis, E. Falkenberg and P.Lindgreen (eds), North ...