The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "John C. Knight" ( http://dblp.L3S.de/Authors/John_C._Knight )

  Author page on DBLP  Author page in RDF  Community of John C. Knight in ASPL-2

Publication years (Num. hits)
1975-1989 (16) 1990-1996 (15) 1997-2002 (21) 2003-2004 (18) 2005-2008 (15) 2009-2013 (16) 2014-2016 (19) 2017 (2)
Publication types (Num. hits)
article(36) incollection(2) inproceedings(83) proceedings(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 74 occurrences of 58 keywords

Results
Found 123 publication records. Showing 122 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Ashlie B. Hocking, M. Anthony Aiello, John C. Knight, Nikos Arechiga Input Space Partitioning to Enable Massively Parallel Proof. Search on Bibsonomy NFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jian Xiang, John C. Knight, Kevin J. Sullivan Is My Software Consistent with the Real World? Search on Bibsonomy HASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1John C. Knight, Jack W. Davidson, Anh Nguyen-Tuong, Jason Hiser, Michele Co Diversity in Cybersecurity. Search on Bibsonomy IEEE Computer The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jack W. Davidson, Jason D. Hiser, Anh Nguyen-Tuong, Clark L. Coleman, William H. Hawkins, John C. Knight, Benjamin D. Rodes, Ashlie B. Hocking A System for the Security Protection of Embedded Binary Programs. Search on Bibsonomy DSN Workshops The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jonathan C. Rowanhill, John C. Knight Domain Arguments in Safety Critical Software Development. Search on Bibsonomy ISSRE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1John C. Knight, Jonathan C. Rowanhill The Indispensable Role of Rationale in Safety Standards. Search on Bibsonomy SAFECOMP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Michele Co, Jack W. Davidson, Jason D. Hiser, John C. Knight, Anh Nguyen-Tuong, Westley Weimer, Jonathan Burket, Gregory L. Frazier, Tiffany M. Frazier, Bruno Dutertre, Ian A. Mason, Natarajan Shankar, Stephanie Forrest Double Helix and RAVEN: A System for Cyber Fault Tolerance and Recovery. Search on Bibsonomy CISRC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ashlie B. Hocking, Benjamin D. Rodes, John C. Knight, Jack W. Davidson, Clark L. Coleman A Proof Infrastructure for Binary Programs. Search on Bibsonomy NFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jian Xiang, John C. Knight, Kevin J. Sullivan Synthesis of Logic Interpretations. Search on Bibsonomy HASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ashlie B. Hocking, M. Anthony Aiello, John C. Knight, Nikos Arechiga Proving Critical Properties of Simulink Models. Search on Bibsonomy HASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ashlie B. Hocking, M. Anthony Aiello, John C. Knight Static analysis of physical properties in Simulink models. Search on Bibsonomy ISSRE Workshops The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jian Xiang, John C. Knight, Kevin J. Sullivan Real-World Types and Their Application. Search on Bibsonomy SAFECOMP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1John C. Knight, Jonathan C. Rowanhill, Jian Xiang A Safety Condition Monitoring System. Search on Bibsonomy SAFECOMP Workshops The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1John C. Knight, Jonathan C. Rowanhill, M. Anthony Aiello, Kimberly S. Wasson A Comprehensive Safety Lifecycle. Search on Bibsonomy SAFECOMP Workshops The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1M. Anthony Aiello, Ashlie B. Hocking, John C. Knight, Jonathan C. Rowanhill SCT: A Safety Case Toolkit. Search on Bibsonomy ISSRE Workshops The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ashlie B. Hocking, John C. Knight, M. Anthony Aiello, Shinichi Shiraishi Arguing Software Compliance with ISO 26262. Search on Bibsonomy ISSRE Workshops The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ashlie B. Hocking, John C. Knight, M. Anthony Aiello, Shinichi Shiraishi Proving Model Equivalence in Model Based Design. Search on Bibsonomy ISSRE Workshops The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jason Hiser, Anh Nguyen-Tuong, Michele Co, Benjamin D. Rodes, Matthew Hall, Clark L. Coleman, John C. Knight, Jack W. Davidson A Framework for Creating Binary Rewriting Tools (Short Paper). Search on Bibsonomy EDCC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Benjamin D. Rodes, John C. Knight Speculative Software Modification and its Use in Securing SOUP. Search on Bibsonomy EDCC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Anh Nguyen-Tuong, Jason Hiser, Michele Co, Nathan Kennedy, David Melski, William Ella, David Hyde, Jack W. Davidson, John C. Knight To B or not to B: Blessing OS Commands with Software DNA Shotgun Sequencing. Search on Bibsonomy EDCC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Benjamin D. Rodes, John C. Knight, Kimberly S. Wasson A security metric based on security arguments. Search on Bibsonomy WETSoM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ewen Denney, Ibrahim Habli, Tim Kelly, John C. Knight, Ganesh Pai (eds.) Proceedings of the 1st International Workshop on Assurance Cases for Software-Intensive Systems, ASSURE '13, San Francisco, California, USA, May 19, 2013 Search on Bibsonomy ASSURE@ICSE The full citation details ... 2013 DBLP  BibTeX  RDF
1Ewen Denney, Ganesh Pai, Ibrahim Habli, Tim Kelly, John C. Knight 1st international workshop on assurance cases for software-intensive systems (ASSURE 2013). Search on Bibsonomy ICSE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Claire Le Goues, Anh Nguyen-Tuong, Hao Chen 0003, Jack W. Davidson, Stephanie Forrest, Jason Hiser, John C. Knight, Matthew Van Gundy Moving Target Defenses in the Helix Self-Regenerative Architecture. Search on Bibsonomy Moving Target Defense The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Patrick J. Graydon, Ibrahim Habli, Richard Hawkins, Tim Kelly, John C. Knight Arguing Conformance. Search on Bibsonomy IEEE Software The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Benjamin D. Rodes, Anh Nguyen-Tuong, Jason Hiser, John C. Knight, Michele Co, Jack W. Davidson Defense against Stack-Based Attacks Using Speculative Stack Layout Transformation. Search on Bibsonomy RV The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1John C. Knight Diversity. Search on Bibsonomy Dependable and Historic Computing The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Raghavendra Rajkumar, Andrew Wang 0002, Jason Hiser, Anh Nguyen-Tuong, Jack W. Davidson, John C. Knight Component-Oriented Monitoring of Binaries for Security. Search on Bibsonomy HICSS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Richard Hawkins, Tim P. Kelly, John C. Knight, Patrick J. Graydon A New Approach to creating Clear Safety Arguments. Search on Bibsonomy SSS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Michele Co, Jack W. Davidson, Jason D. Hiser, John C. Knight, Anh Nguyen-Tuong, David Cok, Denis Gopan, David Melski, Wenke Lee, Chengyu Song, Thomas Bracewell, David Hyde, Brian Mastropietro PEASOUP: preventing exploits against software of uncertain provenance (position paper). Search on Bibsonomy SESS@ICSE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1David Evans 0001, Anh Nguyen-Tuong, John C. Knight Effectiveness of Moving Target Defenses. Search on Bibsonomy Moving Target Defense The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Xiang Yin 0001, John C. Knight Formal Verification of Large Software Systems. Search on Bibsonomy NASA Formal Methods The full citation details ... 2010 DBLP  BibTeX  RDF
1Patrick J. Graydon, John C. Knight, Xiang Yin 0001 Practical Limits on Software Dependability: A Case Study. Search on Bibsonomy Ada-Europe The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Patrick J. Graydon, John C. Knight Software Process Synthesis in Assurance Based Development of Dependable Systems. Search on Bibsonomy EDCC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF assurance arguments, software processes, safety-critical systems, software assurance, software dependability
1Anh Nguyen-Tuong, Andrew Wang 0002, Jason Hiser, John C. Knight, Jack W. Davidson On the effectiveness of the metamorphic shield. Search on Bibsonomy ECSA Companion Volume The full citation details ... 2010 DBLP  DOI  BibTeX  RDF attack surface, dynamic diversity, temporal diversity, security, virtual machine
1Daniel W. Williams, Wei Hu, Jack W. Davidson, Jason Hiser, John C. Knight, Anh Nguyen-Tuong Security through Diversity: Leveraging Virtual Machine Technology. Search on Bibsonomy IEEE Security & Privacy The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Xiang Yin 0001, John C. Knight, Westley Weimer Exploiting refactoring in formal verification. Search on Bibsonomy DSN The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Elisabeth A. Strunk, John C. Knight The essential synthesis of problem frames and assurance cases. Search on Bibsonomy Expert Systems The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Anh Nguyen-Tuong, David Evans 0001, John C. Knight, Benjamin Cox, Jack W. Davidson Security through redundant data diversity. Search on Bibsonomy DSN The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Xiang Yin 0001, John C. Knight, Elisabeth A. Nguyen, Westley Weimer Formal Verification by Reverse Synthesis. Search on Bibsonomy SAFECOMP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF formal methods, Formal verification, software dependability
1Patrick J. Graydon, John C. Knight, Elisabeth A. Strunk Assurance Based Development of Critical Systems. Search on Bibsonomy DSN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Jonathan C. Rowanhill, Glenn S. Wasson, Zach Hill, Jim Basney, Yuliyan Kiryakov, John C. Knight, Anh Nguyen-Tuong, Andrew S. Grimshaw, Marty Humphrey Dynamic System-Wide Reconfiguration of Grid Deployments in Response to Intrusion Detections. Search on Bibsonomy HPCC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Zach Hill, Jonathan C. Rowanhill, Anh Nguyen-Tuong, Glenn S. Wasson, John C. Knight, Jim Basney, Marty Humphrey Meeting virtual organization performance goals through adaptive grid reconfiguration. Search on Bibsonomy GRID The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Elisabeth A. Strunk, John C. Knight Dependability through Assured Reconfiguration in Embedded System Software. Search on Bibsonomy IEEE Trans. Dependable Sec. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF real-time systems, embedded systems, formal methods, Reconfiguration, concurrent systems
1John C. Knight, Nancy G. Leveson Software and higher education. Search on Bibsonomy Commun. ACM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1John C. Knight Future Trends of Software Technology and Applications Model-Based Development. Search on Bibsonomy COMPSAC (1) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Wei Hu, Jason Hiser, Daniel W. Williams, Adrian Filipi, Jack W. Davidson, David Evans 0001, John C. Knight, Anh Nguyen-Tuong, Jonathan C. Rowanhill Secure and practical defense against code-injection attacks using software dynamic translation. Search on Bibsonomy VEE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF software dynamic translation, virtual execution
1Patrick J. Graydon, John C. Knight, Elisabeth A. Strunk Achieving Dependable Systems by Synergistic Development of Architectures and Assurance Cases. Search on Bibsonomy WADS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1John C. Knight Focusing software education on engineering. Search on Bibsonomy ACM SIGSOFT Software Engineering Notes The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Andrew S. Grimshaw, Marty A. Humphrey, John C. Knight, Anh Nguyen-Tuong, Jonathan C. Rowanhill, Glenn S. Wasson, Jim Basney The Development of Dependable and Survivable Grids. Search on Bibsonomy International Conference on Computational Science (2) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Elisabeth A. Strunk, John C. Knight, M. Anthony Aiello Assured Reconfiguration of Fail-Stop Systems. Search on Bibsonomy DSN The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Kimberly S. Wasson, Kendra N. Schmid, Robyn R. Lutz, John C. Knight Using Occurrence Properties of Defect Report Data to Improve Requirements. Search on Bibsonomy RE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1John C. Knight Editorial: AE Farewell. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF TABLE OF CONTENTS
1John C. Knight Editorial: AE Introduction. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF TABLE OF CONTENTS
1John C. Knight Editorial: The State of TSE. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF TABLE OF CONTENTS
1John C. Knight Editorial: AE Introduction. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF TABLE OF CONTENTS
1John C. Knight Focusing Software Education on Engineering. Search on Bibsonomy CSEE&T The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Elisabeth A. Strunk, John C. Knight Assured Reconfiguration of Embedded Real-Time Software. Search on Bibsonomy DSN The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Jonathan C. Rowanhill, Philip E. Varner, John C. Knight Efficient Hierarchic Management For Reconfiguration of Networked Information Systems. Search on Bibsonomy DSN The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1William S. Greenwell, Elisabeth A. Strunk, John C. Knight Failure Analysis and the Safety-Case Lifecycle. Search on Bibsonomy Human Error, Safety and Systems Development The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Riccardo Scandariato, John C. Knight The Design and Evaluation of a Defense System for Internet Worms. Search on Bibsonomy SRDS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1John C. Knight An Introduction to Computing System Dependability. Search on Bibsonomy ICSE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1John C. Knight Editorial: AE Introduction. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1John C. Knight Editorial: AE Farewell. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1John C. Knight New AEIC Introduction and AE Farewell. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Kimberly S. Wasson, John C. Knight, Elisabeth A. Strunk, Sean R. Travis Tools Supporting the Communication of Critical Domain Knowledge in High-Consequence Systems Development. Search on Bibsonomy SAFECOMP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1John C. Knight, Jonathan Hill, Philip E. Varner, Premkumar T. Devanbu, Alexander L. Wolf, Dennis Heimbigner Willow System Demonstration. Search on Bibsonomy DISCEX (2) The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1John C. Knight, Elisabeth A. Strunk, Kevin J. Sullivan Towards a Rigorous Definition of Information System Survivability. Search on Bibsonomy DISCEX (1) The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1John C. Knight Computing Systems Dependability. Search on Bibsonomy ICSE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1John C. Knight, Elisabeth A. Strunk Achieving Critical System Survivability Through Software Architectures. Search on Bibsonomy WADS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1John C. Knight, Nancy G. Leveson Should software engineers be licensed?. Search on Bibsonomy Commun. ACM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1John C. Knight AE Introduction. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1John C. Knight Editorial: New AE Introduction/Farewell. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1John C. Knight Desert Island Books. Search on Bibsonomy Autom. Softw. Eng. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1John C. Knight Software Challenges in Aviation Systems. Search on Bibsonomy SAFECOMP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1John C. Knight Safety critical systems: challenges and directions. Search on Bibsonomy ICSE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1John C. Knight Dependability of embedded systems. Search on Bibsonomy ICSE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Chenxi Wang, Jonathan Hill, John C. Knight, Jack W. Davidson Protection of Software-Based Survivability Mechanisms. Search on Bibsonomy DSN The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1John C. Knight, Kimberly S. Hanks, Sean R. Travis Tool Support for Production Use of Formal Techniques. Search on Bibsonomy ISSRE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1John C. Knight, Matthew C. Elder Fault Tolerant Distributed Information Systems. Search on Bibsonomy ISSRE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1John C. Knight Erroneous Requirements: A Linguistic Basis for Their Occurrence and an Approach to Their Reduction. Search on Bibsonomy HASE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Chenxi Wang, John C. Knight, Matthew C. Elder On Computer Viral Infection and the Effect of Immunization. Search on Bibsonomy ACSAC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF anti-virus systems, virus protection schemes, computer networks, simulation study, telecommunication security, computer network security, computer viruses, computer viruses, immunization
1Susan S. Brilliant, John C. Knight Empirical research in software engineering: a workshop. Search on Bibsonomy ACM SIGSOFT Software Engineering Notes The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1John C. Knight, P. Thomas Fletcher, Brian R. Hicks Tool Support for Production Use of Formal Techniques. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Kevin J. Sullivan, John C. Knight, Xing Du, Steve Geist Information Survivability Control Systems. Search on Bibsonomy ICSE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF architecture economics, infrastructure survivability, control
1John C. Knight, Michael F. Dunn Software Quality Through Domain-Driven Certification. Search on Bibsonomy Ann. Software Eng. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1John C. Knight Challenges in the Utilization of Formal Methods. Search on Bibsonomy FTRTFT The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1James C. French, John C. Knight, Allison L. Powell Applying Hypertext Structures to Software Documentation. Search on Bibsonomy Inf. Process. Manage. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Paul Ammann, Dahlard L. Lukes, John C. Knight Applying Data Redundancy to Differential Equation Solvers. Search on Bibsonomy Ann. Software Eng. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1John C. Knight, Susan S. Brilliant Preliminary Evaluation of a Formal Approach to User Interface Specification. Search on Bibsonomy ZUM The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1John C. Knight, Luís G. Nakano Software Test Techniques for System Fault-Tree Analysis. Search on Bibsonomy SAFECOMP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Allison L. Powell, James C. French, John C. Knight A systematic approach to creating and maintaining software documentation. Search on Bibsonomy SAC The full citation details ... 1996 DBLP  DOI  BibTeX  RDF information retrieval, software engineering, documentation
1Kevin J. Sullivan, John C. Knight Experience Assessing an Architectural Approach to Large-Scale Systematic Reuse. Search on Bibsonomy ICSE The full citation details ... 1996 DBLP  BibTeX  RDF Microsoft's OLE technology, architectural approach, architectural mismatch, fault-tree analysis tool, high-quality software, large-scale software components, large-scale systematic reuse, software quality, software reusability
1John C. Knight, Bev Littlewood Guest Editors' Introduction: Critical Task of Writing Dependable Software. Search on Bibsonomy IEEE Software The full citation details ... 1994 DBLP  DOI  BibTeX  RDF dependable software, rigorous techniques, mathematical techniques, program writing, programming, software reliability, safety, safety-critical software
1Paul Ammann, Susan S. Brilliant, John C. Knight The Effect of Imperfect Error Detection on Reliability Assessment via Life Testing. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF life testing, imperfect error detection, life testing, unobserved failures, confidence level, software testing, probability, software reliability, error detection, test cases, test oracles, critical systems, failure probability, software reliability assessment
1John C. Knight, Aaron G. Cass, Antonio M. Fernández, Kevin G. Wika Testing a Safety-Critical Application. Search on Bibsonomy ISSTA The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1John C. Knight, Jane C. Prey, William A. Wulf Undergraduate computer science education: a new curriculum philosophy & overview. Search on Bibsonomy SIGCSE The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1John C. Knight, E. Ann Myers An Improved Inspection Technique. Search on Bibsonomy Commun. ACM The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Michael F. Dunn, John C. Knight Automating the Detection of Reusable Parts in Existing Software. Search on Bibsonomy ICSE The full citation details ... 1993 DBLP  BibTeX  RDF Prolog, expert system, software reuse, reengineering, reusable components
1John C. Knight, Darrell M. Kienzle Preliminary Experience Using Z to Specify a Safety-Critical System. Search on Bibsonomy Z User Workshop The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 122 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license