http://popups.lib.uliege.be/1373-5411/index.php?id=796 Publications of Auteurs Frank Piessens fr 0 http://popups.lib.uliege.be/1373-5411/index.php?id=790 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. Mon, 01 Jul 2024 13:57:30 +0200 Mon, 07 Oct 2024 15:24:44 +0200 http://popups.lib.uliege.be/1373-5411/index.php?id=790