BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Singapore
1 × USA
1 × United Kingdom
Collaborated with:
S.G.Stockman R.A.Orr S.Patel D.W.Bustard R.Tinker C.D.V.Rouch
Talks about:
method (2) formal (2) tool (2) industrialis (1) telecommun (1) support (1) system (1) design (1) time (1) real (1)

Person: M. T. Norris

DBLP DBLP: Norris:M=_T=

Contributed to:

ESEC 19891989
ICSE 19891989
ICSE 19881988

Wrote 3 papers:

ESEC-1989-NorrisS #formal method
Industrialising Formal Methods for Telecommunications (MTN, SGS), pp. 159–175.
ICSE-1989-PatelONB #formal method #tool support
Tools to Support Formal Methods (SP, RAO, MTN, DWB), pp. 123–132.
ICSE-1988-OrrNTR #design #realtime #tool support
Tools for Real-Time System Design (RAO, MTN, RT, CDVR), pp. 130–140.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.