Sinclair Guillaume Stockman

According to our database, Sinclair Guillaume Stockman authored at least 4 papers between 1989 and 1995.

Collaborative distances:

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

1995

Using Z to Rigorously Review a Specification of a Network Management System.

Tony Bryant, Andy Evans, Lesley Semmens, Rajko Milovanovic, Sinclair Guillaume Stockman, Mark T. Norris, Clive Selley

Proceedings of the ZUM '95: The Z Formal Specification Notation, 1995

1994

Life after ISO 9001: British Telecom's approach to software quality.

Mark T. Norris, Peter Rigby, Sinclair Guillaume Stockman

IEEE Commun. Mag., 1994

1990

A Framework for Software Quality Measurement.

Sinclair Guillaume Stockman, Alan Richard Todd, Gerald Anthony Robinson

IEEE J. Sel. Areas Commun., 1990

1989

Industrialising Formal Methods for Telecommunications.

Mark T. Norris, Sinclair Guillaume Stockman

Proceedings of the ESEC '89, 1989