Paper Info
Title
Intelligent Inference For Debugging Concurrent Systems
Abstract
This paper gives an overview of a program visualisation system which allows users to build up agents to perform detection and inference about the symptomatic behaviours of their concurrent programs. The system allows users to graphically describe program behaviours and then to use these descriptions within a inference engine. Temporal relations are introduced between agents in order to allow the system to deal with concurrent behaviours. Finally we show how these can be combined with standard knowledge engineering techniques to debug programs, and how explanations can be graphically presented.
Year
DOI
Venue
1993
10.1007/3-540-57234-1_45
DEXA
Keywords
Field
DocType
concurrent systems,intelligent inference,knowledge engineering
Programming language,Computer science,Inference,Visualization,Inference engine,Knowledge engineering,Execution model,Logic programming,Debugging
Conference
ISBN
Citations 
PageRank 
3-540-57234-1
0
0.34
References 
Authors
5
1
Name
Order
Citations
PageRank
Mike Brayshaw112018.60