The odd couple: Formal Notations and the development of information systems
Carol Britton, Karry Omer · Journal of Information Technology · 1990
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.