Software inspections and the industrial production of software
Proc. of a symposium on Software validation: inspection-testing-verification-alternatives
Intention-based diagnosis of errors in novice programs
Intention-based diagnosis of errors in novice programs
Strategies for documenting delocalized plans
The Institute of Electrical and Electronics Engineers, Inc on Conference on software maintenance--1985
A formal representation for plans in the programmer's apprentice
Readings in artificial intelligence and software engineering
ICICLE: groupware for code inspection
CSCW '90 Proceedings of the 1990 ACM conference on Computer-supported cooperative work
Automated program recognition: a feasibility demonstration
Artificial Intelligence
The Mythical Man-Month: Essays on Softw
The Mythical Man-Month: Essays on Softw
Software Inspections: An Effective Verification Process
IEEE Software
Knowledge-Based Program Analysis
IEEE Software
Recognizing a Program's Design: A Graph-Parsing Approach
IEEE Software
Heuristic and formal methods in automatic program debugging
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Design and code inspections to reduce errors in program development
IBM Systems Journal
| Hi-index | 0.00 |
ICICLE (intelligent code inspection in a C language environment) is a multifaceted software system developed with components from several technologies, including AI, computer-supported cooperative work (cscw), and software technology. It is intended to support the process of formal code inspection within the software development cycle. This chapter reports on ICICLE in the context of its successful deployment at Bell Communications Research, Inc. (Bellcore) for code inspection and discusses its design and operation with particular emphasis on its AI components.