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 × Latvia
3 × USA
Collaborated with:
P.A.Hausler R.A.Sprangler N.R.Mead H.F.Lipson
Talks about:
softwar (7) engin (4) cleanroom (3) definit (2) system (2) surviv (2) requir (2) technolog (1) transfer (1) mathemat (1)

Person: Richard C. Linger

DBLP DBLP: Linger:Richard_C=

Contributed to:

ICRE 19981998
SEKE 19941994
ICSE 19931993
SEI 19921992
ICSE 19891989

Wrote 6 papers:

ICRE-1998-Linger #requirements
Issues in Requirements Definition for Survivable Systems (RCL), p. 198–?.
ICRE-1998-LingerML #network #requirements
Requirements Definition for Survivable Network Systems (RCL, NRM, HFL), pp. 14–23.
SEKE-1994-HauslerL #re-engineering
From software craft to software engineering: the Cleanroom method (PAH, RCL), pp. 172–179.
ICSE-1993-Linger #re-engineering
Cleanroom Software Engineering for Zero-Defect Software (RCL), pp. 2–13.
SEI-1992-SpranglerL #re-engineering
The IBM Cleanroom Software Engineering Technology Transfer Program (RAS, RCL), pp. 380–394.
ICSE-1989-Linger #re-engineering
Mathematics-Based Software Engineering for Completely Validated Software (RCL), p. 358.

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.