Mark T. Norris

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