Information systems : theoretical and formal aspects : proceedings of the IFIP WG 8.1 Working Conference on Theoretical and Formal Aspects of Information Systems, Sitges, Barcelona, Spain, 16-18 April 1985

著者

• IFIP WG 8.1 Working Conference on Theoretical and Formal Aspects of Information Systems
• Sernadas, A.
• Bubenko, Janis
• Olivé, A.
• IFIP WG 8.1, Design and Evaluation of Information Systems

書誌事項

Information systems : theoretical and formal aspects : proceedings of the IFIP WG 8.1 Working Conference on Theoretical and Formal Aspects of Information Systems, Sitges, Barcelona, Spain, 16-18 April 1985

edited by A. Sernadas, J. Bubenko, Jr., and A. Olivé

North-Holland, 1985

注記

Includes bibliographical references

内容説明・目次

内容説明

This book contains papers on the theoretical and formal aspects of information systems. The fifteen papers address two main problems in the area: consolidation of the underlying concepts and identification of suitable formal tools for information system development. Several new modeling abstraction mechanisms and languages are presented and discussed, as well as logical formalisms for correctness analysis of specifications.

目次

Systems and Languages. The New Database Architecture Framework - A Progress Report (L. Mark and N. Roussopoulos). An Entity-Relationship Query Language (B. Demo, A. DiLeva and P. Giolito). ADE: Mapping between the External and Conceptual Levels (T.L. Anderson and B.B. Claghorn). Modeling Approaches I. Clocks and their Use for Time Modeling (G. Richter). Time and Space in Information Systems (U. Schiel). Modeling Approaches II. Connections among Application Based Objects in Directed Edge-Labelled Hypergraphs (M. Morgenstern). A Graphtheoretic Semantics for Semantic Data Models (U. Pletat). An Approach to Conceptual Schema Design of Information Systems (A. Horndasch, R. Studer and R. Yasdi). A Framework for Representation (C.-G. Jansson). Logical Frameworks. Specifying Admissibility of Dynamic Database Behaviour Using Temporal Logic (U.W. Lipeck, H.-D. Ehrich and M. Gogolla). The INFOLOG Branching Logic of Events (J. Carmo). Towards Simpler and Yet Complete Formal Specifications (P.A.S. Veloso and A.L. Furtado). A Tableaux Approach for Consistency Checking (C. Kung). Modeling Approaches III. Specification of Control Aspects in Office Information Systems (G. Bracchi and B. Pernici). The PAMS Approach to Modeling Database Activity (R.S. Flint and N.G. Leveson).

「Nielsen BookData」 より

• NII書誌ID(NCID): BA01006458
• ISBN:
  • 0444877061
• LCCN: 84028765
• 出版国コード: ne
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Amsterdam ; New York
• ページ数/冊数: x, 236 p.
• 大きさ: 24 cm
• 分類:
  • LCC : QA75.5
  • DC19 : 001.64
• 件名:
  • LCSH : Electronic data processing -- Congresses
  • LCSH : Data base management -- Congresses