Software requirements & specifications: a lexicon of practice, principles and prejudices
Software requirements & specifications: a lexicon of practice, principles and prejudices
A program structure for error detection and recovery
Operating Systems, Proceedings of an International Symposium
Requirements monitoring in dynamic environments
RE '95 Proceedings of the Second IEEE International Symposium on Requirements Engineering
Principles of Program Design
Hi-index | 0.00 |
The work on recovery blocks springs from the basic realism of recognising that in practice ‘correctness' may be an unattainable ideal in software development. The work captures and embodies insights of wide applicability. As the authors of the work recognised, these insights can also be extended to the development of complex software-intensive systems where the faults--or, more generally, exceptional conditions--to be handled have their origins in the problem world outside the software. By generalising the notion of a ‘block' to include processes and non-terminating behaviours, the same insights can be deployed in structuring the general functional behaviour of the system.