The odd couple: Formal Notations and the development of information systems
本文探讨了将形式符号融入系统分析与设计的可能性与必要性，采用实用方法弥合理论数学与信息系统建设实践之间的鸿沟。
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.