Mark T. Norris

Publication Activity (10 Years)

Years Active: 1988-1995
Publications (10 Years): 0

Publications

Tony Bryant, Andy Evans, Lesley Semmens, Rajko Milovanovic, Sinclair Guillaume Stockman, Mark T. Norris, Clive Selley
Using Z to Rigorously Review a Specification of a Network Management System. ZUM (1995)
D. J. Karkaria, Mark T. Norris, A. D. Pengelly
Software product assessment. IEEE J. Sel. Areas Commun. 12 (2) (1994)
Mark T. Norris, Peter Rigby, Sinclair Guillaume Stockman
Life after ISO 9001: British Telecom's approach to software quality. IEEE Commun. Mag. 32 (10) (1994)
A. D. Pengelly, Mark T. Norris, R. Higham
Software process modelling and measurement: a QMS case study. Inf. Softw. Technol. 35 (6-7) (1993)
David W. Bustard, Mark T. Norris, Rodney A. Orr, Adam C. Winstanley
An Exercise in Formalizing the Description of a Concurrent System. Softw. Pract. Exp. 22 (12) (1992)
P. Mann, A. Mason, Mark T. Norris
Industrial Training for Software Engineers. CSEE (1991)
S. Patel, Rodney A. Orr, Mark T. Norris, David W. Bustard
Tools to Support Formal Methods. ICSE (1989)
Mark T. Norris, Sinclair Guillaume Stockman
Industrialising Formal Methods for Telecommunications. ESEC (1989)
David W. Bustard, Mark T. Norris, Rodney A. Orr
A pictorial approach to the animation of process-oriented formal specifications. Softw. Eng. J. 3 (4) (1988)
Rodney A. Orr, Mark T. Norris, Richard Tinker, C. D. V. Rouch
Tools for Real-Time System Design. ICSE (1988)
Rodney A. Orr, Mark T. Norris, Richard Tinker, C. D. V. Rouch
Systematic method for realtime system design. Microprocess. Microsystems 12 (7) (1988)
David W. Bustard, Adam C. Winstanley, Mark T. Norris, Rodney A. Orr, S. Patel
Graphical Views of Process-Orientated Specifications. FORTE (1988)