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: Knight:John_C=
Facilitated 1 volumes:
Contributed to:
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.