Software Fundamentals
SDI
Some Conclusions from an Experiment in Software Engineering Techniques
Assessment of Safety-critical Software
A course on software engineering techniques
Six Recent Papers for Software Engineering
Tabular Representations in Relational Documents
Predicate Logic for Software Engineering
Software Engineering Programmes are Not Computer Science Programmes
Precise Documentation of Well-structured Programs
An Introduction to the Extended Computer
Software Aspects of Strategic Defense Systems
Some Hypotheses about the "uses" Hierarchy for Operating Systems
Tabular Representation of Relations
Estimating Software Reliability Using Inverse Sampling
Documentation of Computerised Safety Systems of Nuclear Power Stations
Making Formal Software Documentation More Practical
A Paradigm for Software Module Specification with Examples
System Function Description Algol a Language for the Description of the Functions of Finite State Systems, the Simulation of Finite State Systems, and the Automatic Production of the State Tables of Such Sustems