since 07 November 2024 :

View(s) :

3 (0 ULiège)

Download(s) :

0 (0 ULiège)

References
Facsimile [PDF, 9.1M]

Humans, Computers, Specifications

The Arrow Logic of Information System Engineering

Zinovy Diskin, Boris Kadish and Frank Piessens

p. 32-52

    Abstract

    The goal of the paper is to manifest a special arrow diagram logic developed in mathematical category theory as capable to provide a general specification framework for information system engineering. We show that, unexpectedly, abstract ideas developed in categorical logic are of extremely high relevance for approaching some difficult specification problems in the field. Correspondingly, the arrow thinking underlying the diagram logic is suggested as a working way of thinking in information system engineering.

    Index

    Keywords

    semantic specification, arrow logic, category theory

    Text

    Download Facsimile [PDF, 9.1M]

    References

    Bibliographical reference

    Zinovy Diskin, Boris Kadish and Frank Piessens, « Humans, Computers, Specifications », CASYS, 3 | 1999, 32-52.

    Electronic reference

    Zinovy Diskin, Boris Kadish and Frank Piessens, « Humans, Computers, Specifications », CASYS [Online], 3 | 1999, Online since 07 October 2024, connection on 27 December 2024. URL : http://popups.uliege.be/3041-539x/index.php?id=790

    Authors

    Zinovy Diskin

    Lab. for Database Design, Frame Inform Systems, Ltd. Riga, Latvia

    Boris Kadish

    Lab. for Database Design, Frame Inform Systems, Ltd. Riga, Latvia

    Frank Piessens

    Dept. of Computer Science, Katholieke Universiteit Leuven, Beverlee, Belgium

    Copyright

    CC BY-SA 4.0 Deed