The odd couple: Formal Notations and the development of information systems

Abstract

The development of information systems and the introduction of formal notations have tended to be taught as separate subjects. In this paper we hope we show that it is both possible and desirable to place formal notations in the context of systems analysis and design. By adopting an essentially pragmatic approach we feel that we have, to some extent, bridged the gap between the world of theoretical mathematics and the practical task of building information systems.