Mark T. Norris

According to our database, Mark T. Norris authored at least 12 papers between 1988 and 1995.

Collaborative distances:

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

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

Software product assessment.

D. J. Karkaria, Mark T. Norris, A. D. Pengelly

IEEE J. Sel. Areas Commun., 1994

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

Mark T. Norris, Peter Rigby, Sinclair Guillaume Stockman

IEEE Commun. Mag., 1994

1993

Software process modelling and measurement: a QMS case study.

A. D. Pengelly, Mark T. Norris, R. Higham

Inf. Softw. Technol., 1993

1992

An Exercise in Formalizing the Description of a Concurrent System.

David W. Bustard, Mark T. Norris, Rodney A. Orr, Adam C. Winstanley

Softw. Pract. Exp., 1992

1991

Industrial Training for Software Engineers.

P. Mann, A. Mason, Mark T. Norris

Proceedings of the Software Engineering Education, 1991

1989

Tools to Support Formal Methods.

S. Patel, Rodney A. Orr, Mark T. Norris, David W. Bustard

Proceedings of the 11th International Conference on Software Engineering, 1989

Industrialising Formal Methods for Telecommunications.

Mark T. Norris, Sinclair Guillaume Stockman

Proceedings of the ESEC '89, 1989

1988

Systematic method for realtime system design.

Rodney A. Orr, Mark T. Norris, Richard Tinker, C. D. V. Rouch

Microprocess. Microsystems, 1988

A pictorial approach to the animation of process-oriented formal specifications.

David W. Bustard, Mark T. Norris, Rodney A. Orr

Softw. Eng. J., 1988

Tools for Real-Time System Design.

Rodney A. Orr, Mark T. Norris, Richard Tinker, C. D. V. Rouch

Proceedings of the Proceedings, 1988

Graphical Views of Process-Orientated Specifications.

David W. Bustard, Adam C. Winstanley, Mark T. Norris, Rodney A. Orr, S. Patel

Proceedings of the Formal Description Techniques, 1988