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 × Germany
1 × Spain
2 × France
2 × United Kingdom
9 × USA
Collaborated with:
M.F.Dunn K.J.Sullivan P.Ammann P.J.Graydon X.Yin P.T.Fletcher B.R.Hicks A.L.Powell J.C.French K.S.Wasson K.N.Schmid R.R.Lutz X.Du S.Geist A.G.Cass A.M.Fernández K.G.Wika J.R.Grierson B.Cosgrove D.Richert R.E.Halliwell H.Kirk J.A.McLean J.M.McGrail C.O.Newton
Talks about:
system (6) softwar (5) depend (4) systemat (2) approach (2) safeti (2) critic (2) comput (2) studi (2) test (2)

♂ Person: John C. Knight

DBLP DBLP: Knight:John_C=

Facilitated 1 volumes:

FSE 2000GCh

Contributed to:

Ada-Europe 20102010
RE 20052005
CSEE&T 20042004
ICSE 20042004
ICSE 20032003
ICSE 20022002
World Congress on Formal Methods 19991999
ICSE 19991999
ICSE 19961996
SAC 19961996
ISSTA 19941994
ICSE 19931993
ICSE 19911991
ICSE 19851985
DAC 19831983

Wrote 16 papers:

AdaEurope-2010-GraydonKY #case study #dependence
Practical Limits on Software Dependability: A Case Study (PJG, JCK, XY), pp. 83–96.
RE-2005-WassonSLK #fault #requirements #using
Using Occurrence Properties of Defect Report Data to Improve Requirements (KSW, KNS, RRL, JCK), pp. 253–262.
CSEET-2004-Knight #education
Focusing Software Education on Engineering (JCK), pp. 2–3.
ICSE-2004-Knight #dependence
An Introduction to Computing System Dependability (JCK), pp. 730–731.
ICSE-2003-Knight #dependence
Computing Systems Dependability (JCK), pp. 742–743.
ICSE-2002-Knight #challenge #safety
Safety critical systems: challenges and directions (JCK), pp. 547–550.
ICSE-2002-Knight02a #dependence #embedded
Dependability of embedded systems (JCK), pp. 685–686.
FM-v2-1999-KnightFH #tool support #using
Tool Support for Production Use of Formal Techniques (JCK, PTF, BRH), p. 1854.
ICSE-1999-SullivanKDG #information management
Information Survivability Control Systems (KJS, JCK, XD, SG), pp. 184–192.
ICSE-1996-SullivanK #approach #architecture #experience #reuse #scalability
Experience Assessing an Architectural Approach to Large-Scale Systematic Reuse (KJS, JCK), pp. 220–229.
SAC-1996-PowellFK #approach #documentation #maintenance
A systematic approach to creating and maintaining software documentation (ALP, JCF, JCK), pp. 201–208.
ISSTA-1994-KnightCFW #safety #testing
Testing a Safety-Critical Application (JCK, AGC, AMF, KGW), p. 199.
ICSE-1993-DunnK #automation #detection #reuse
Automating the Detection of Reusable Parts in Existing Software (MFD, JCK), pp. 381–390.
ICSE-1991-DunnK #case study #industrial #reuse
Software Reuse in an Industrial Setting: A Case Study (MFD, JCK), pp. 329–338.
ICSE-1985-KnightA #evaluation #fault
An Experimental Evaluation of Simple Methods for Seeding Program Errors (JCK, PA), pp. 337–342.
DAC-1983-GriersonCRHKKMMN #array #collaboration #design #development
The UK5000 — successful collaborative development of an integrated design system for a 5000 gate CMOS array with built-in test (JRG, BC, DR, REH, HK, JCK, JAM, JMM, CON), pp. 629–636.

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.