Fifty years of Hoare's Logic

We present a history of Hoare's logic.Comment: 79 pages. To appear in Formal Aspects of Computin

Supporting knowledge exchange isn't easy: lessons learnt from a case study

A knowledge management system is introduced in a large insurance company. It is meant to become a virtual knowledge network for a group of insurance professionals. Despite the fact that the introduction was met with enthusiasm and user participation in the design was ensured, the system did not live up to the expectations. In this paper we investigate this failure by uncovering and analyzing the requirements engineering processes underlying the system's\ud conception, design and introduction. The demise of the system can be attributed to a lack of attention for the use context of the end users and a tendency in the development process to focus mostly on the technical solution instead of problem analysis