Learning from software failures is an essential step towards the development of more reliable software systems and processes. However, as more intricate software systems are devel...
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
Willem Visser, Klaus Havelund, Guillaume P. Brat, ...
As the number of hosts attached to a network increases beyond what can be connected by a single local area network (LAN), forwarding packets between hosts on different LANs become...
Thomas L. Rodeheffer, Chandramohan A. Thekkath, Da...
The purpose of this study is to apply digital city concept for the development of a pictogram system for natural disaster reduction. Long lasting and tangible achievement of IDNDR ...
The paper outlines results of feasibility experiments with new functions for a local version of the digital city, performed under a collective name 'Engineering City Oulu'...