formal description https://popups.uliege.be/3041-539x/index.php?id=4320 Index terms fr 0 Towards Implementation of Anticipatory Reasoning-Reacting System https://popups.uliege.be/3041-539x/index.php?id=2454 The notion of anticipatory reasoning-reacting systems, which is a kind of anticipatory systems proposed from information security engineering and software reliability engineering aspects, is first characterized. And then, qualitative requirements and functions of an anticipatory reasoning-reacting system are anaIyzed. Further more, based on these considerations, a formal description of such a system is given. At last, some research issues are briefly introduced. Tue, 20 Aug 2024 16:44:33 +0200 Tue, 08 Oct 2024 14:56:39 +0200 https://popups.uliege.be/3041-539x/index.php?id=2454