IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
IBM Systems Journal
Debugging multi-agent systems using design artifacts: the case of interaction protocols
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Dynamic analysis for reverse engineering and program understanding
ACM SIGAPP Applied Computing Review
Reverse Engineering and Design Recovery: A Taxonomy
IEEE Software
Automated Support for Modeling OO Software
IEEE Software
Automated Software Engineering
Querying as an Enabling Technology in Software Reengineering
CSMR '99 Proceedings of the Third European Conference on Software Maintenance and Reengineering
A Structured Demonstration of Program Comprehension Tools
WCRE '00 Proceedings of the Seventh Working Conference on Reverse Engineering (WCRE'00)
Recovering Use Case Models from Object-Oriented Code: A Thread-Based Approach
WCRE '00 Proceedings of the Seventh Working Conference on Reverse Engineering (WCRE'00)
Pattern Visualization for Software Comprehension
IWPC '98 Proceedings of the 6th International Workshop on Program Comprehension
On the Role of Static Analysis during Software Maintenance
IWPC '99 Proceedings of the 7th International Workshop on Program Comprehension
Comparing Graph-Based Program Comprehension Tools to Relational Database-Based Tools
IWPC '01 Proceedings of the 9th International Workshop on Program Comprehension
Bogor: an extensible and highly-modular software model checking framework
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Verifying and Explaining Agent Behavior in an Implemented Agent System
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 3
Automated analysis and verification of agent behavior
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Empirical Analysis for Agent System Comprehension and Verification
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
Tools for analyzing intelligent agent systems
Web Intelligence and Agent Systems
Designs for explaining intelligent agents
International Journal of Human-Computer Studies
Testing and Debugging of MAS Interactions with INGENIAS
Agent-Oriented Software Engineering IX
Graph-based methods for the analysis of large-scale multiagent systems
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Debugging complex software systems by means of pathfinder networks
Information Sciences: an International Journal
Monitoring group behavior in goal-directed agents using co-efficient plan observation
AOSE'06 Proceedings of the 7th international conference on Agent-oriented software engineering VII
ProMAS'06 Proceedings of the 4th international conference on Programming multi-agent systems
On the application of clustering techniques to support debugging large-scale multi-agent systems
ProMAS'06 Proceedings of the 4th international conference on Programming multi-agent systems
The construction of multi-agent systems as an engineering discipline
ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
Tracking causality by visualization of multi-agent interactions using causality graphs
ProMAS'07 Proceedings of the 5th international conference on Programming multi-agent systems
AOSE'10 Proceedings of the 10th international conference on Agent-oriented software engineering
TRAMMAS: A tracing model for multiagent systems
Engineering Applications of Artificial Intelligence
Making Multiagent System Designs Reusable: A Model-Driven Approach
WI-IAT '11 Proceedings of the 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Volume 02
Automated interpretation of agent behaviour
AOIS'05 Proceedings of the 7th international conference on Agent-Oriented Information Systems III
Intelligent data analysis for the verification of multi-agent systems interactions
IDEAL'06 Proceedings of the 7th international conference on Intelligent Data Engineering and Automated Learning
An approach to debug interactions in multi-agent system software tests
Information Sciences: an International Journal
Robust design of multi-agent system interactions: A testing approach based on pattern matching
Engineering Applications of Artificial Intelligence
Hi-index | 0.00 |
Software comprehension (understanding software structure and behavior) is essential for developing, maintaining, and improving software. This is particularly true of agent-based systems, in which the actions of autonomous agents are affected by numerous factors, such as events in a dynamic environment, local uncertain beliefs, and intentions of other agents. Existing comprehension tools are not suited to such large, concurrent software and do not leverage concepts of the agent-oriented paradigm to aid the user in understanding the software's behavior. To address the software comprehension of agent-based systems, this research proposes a method and accompanying tool that automates some of the manual tasks performed by the human user during software comprehension, such as explanation generation and knowledge verification.