Now showing items 1-1 of 1

    • Automated Reasoning on Conceptual Schemas (Dagstuhl Seminar 13211) 

      Calvanese D; Hartmann S; Teniente E (Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013)
      This report documents the outcomes of the Dagstuhl Seminar 13211 "Automated Reasoning on Conceptual Schemas". The quality of an information system is largely determined early in the development cycle, i.e., during requirements ...