BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Singapore
1 × USA
Collaborated with:
M.T.Norris S.Patel D.W.Bustard R.Tinker C.D.V.Rouch
Talks about:
tool (2) support (1) system (1) method (1) formal (1) design (1) time (1) real (1)

Person: R. A. Orr

DBLP DBLP: Orr:R=_A=

Contributed to:

ICSE 19891989
ICSE 19881988

Wrote 2 papers:

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.