Stephen P. Wilson

According to our database, Stephen P. Wilson authored at least 7 papers between 1995 and 1997.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1997

Justifying reliability claims for a fault-detecting parallel architecture.

Clive H. Pygott, Stephen P. Wilson

J. Syst. Archit., 1997

Computer Based Support for Standards and Processes in Safety Critical Systems.

Stephen P. Wilson, John A. McDermid, P. M. Kirkham, Clive H. Pygott, David J. Tombs

Proceedings of the 16th International Conference on Computer Safety, 1997

1996

<i>Algebraic specification techniques and tools for software development - the ACT approach</i> by I. ClaBen, H. Ehrig and D. Wolz, AMAST Series in Computing, Vol 1. World Scientific Publishing Co., USA, 1993, pp 237, £27.00, ISBN 981-02-1227-5.

Stephen P. Wilson

Knowl. Eng. Rev., 1996

Managing analytical complexity of safety critical systems using viewpoints.

John A. McDermid, Andrew J. Vickers, Stephen P. Wilson

Proceedings of the Joint Proceedings of the Second International Software Architecture Workshop (ISAW-2) and International Workshop on Multiple Perspectives in Software Development (Viewpoints '96) on SIGSOFT '96 workshops, 1996

Assessing Complex Computer Based Systems using the Goal Structuring Notation.

Stephen P. Wilson, John A. McDermid, Clive H. Pygott, David J. Tombs

Proceedings of the 2nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '96), 1996

The Safety Argument Manager: An Integrated Approach to the Engineering and Safety Assessment of Computer Based Systems.

Stephen P. Wilson, John A. McDermid, P. M. Kirkham, Peter Fenelon

Proceedings of the IEEE Symposium and Workshop on Engineering of Computer Based Systems (ECBS'96), 1996

1995

Integrated Analysis of Complex Safety Critical Systems.

Stephen P. Wilson, John A. McDermid

Comput. J., 1995