Comprehending agent software

Proceedings of the International Conference on Autonomous Agents

Volumn , Issue , 2005, Pages 715-722

  Lam, D N ^a   Barber, K S ^a  

^a UNIVERSITY OF TEXAS AT AUSTIN   (United States)

Author keywords

Agent oriented software engineering; Debugging; Maintenance; Reverse engineering; Software comprehension; Tracer

Indexed keywords

AGENT-ORIENTED SOFTWARE ENGINEERING; SOFTWARE COMPREHENSION; TRACER;

MAINTENANCE; MULTI AGENT SYSTEMS; PROGRAM DEBUGGING; REVERSE ENGINEERING;

COMPUTER SOFTWARE;

EID: 33644789848     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (21)

1. Agrawal, A., Du, M., McCollum, C., Systä, T., Wong, K., Yu, P., and Müller, H. A. Rigi - An End-User Programmable Tool for Identifying Reusable Components. In Proceedings of Fifth International Conference on Software Reuse (Victoria, British Columbia, 1998).
2. Bruening, D., Devabhaktuni, S., and Amarasinghe, S. Softspec: Software-based Speculative Parallelism. In Proceedings of 3rd {ACM} Workshop on Feedback-Directed and Dynamic Optimization (Montery, California, 2000), ACM Press.
3. Chikofsky, E. J. and James H. Cross, I. Reverse Engineering and Design Recovery: A Taxonomy. IEEE Software, 7, 1 (1990), 13-17.
4. Edmonds, B. and Bryson, J. The Insufficiency of Formal Design Methods. Third International Joint Conference on Autonomous Agents and Multi-Agent Systems, (2004), 938-946.
5. Finnigan, P. J., Holt, R. C., Kalas, I., Kerr, S., Kontogiannis, K., Müeller, H. A., Mylopoulos, J., Perelgut, S. G., Stanley, M., and Wong, K. The Software Bookshelf. IBM Systems Journal, 36, 4 (1997), 564-593.
6. Gasser, L., Braganza, C., and Herman, N. MACE: A Flexible Testbed for Distributed AI Research. In Distributed Artificial Intelligence, Huhns, M. N., ed. Morgan Kaufmann, San Mateo, CA, 1987. 119-152.
7. Hindsight http://www.testersedge.com/hindsight.htm.
8. Holzmann, G. J. The Model Checker Spin. IEEE Transactions on Software Engineering, 23, 5 (1997), 279-295.
9. Jerding, D. and Rugaber, S. Extraction of Architectural Connections from Event Traces. In Proceedings of ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (Montreal, Canada, 1998), ACM Press.
10. Koskimies, K., Männistö, T., Systä, T., and Tuomi, J. Automated Support for Modeling 00 Software. IEEE Software, 15, 1 (1998), 87-94.
11. Kullbach, B. and Winter, A. Querying as an Enabling Technology in Software Reengineering. In Proceedings of 3rd European Conference on Softward Maintenance and Reengineering (Los Alamitos, 1999), IEEE Computer Society, 42-50.
12. Lam, D. N. and Barber, K. S. Debugging Agent Behavior in an Implemented Agent System. In Proceedings of Second International Workshop on Programming Multi-Agent Systems at the Third International Joint Conference on Autonomous Agents and Multi-Agent Systems (New York, NY, 2004), 45-56.
13. Lange, C., Winter, A., and Sneed, H. M. Comparing Graph-Based Program Comprehension Tools to Relational Database-Based Tools. In Proceedings of Ninth International Workshop on Program Comprehension (Toronto, Canada, 2001), IEEE Computer Society, 209.
14. Lucca, G. D., Fasolino, A., and Carlini, U. Recovering Use Case Models from Object-Oriented Code: A Thread-based Approach. In Proceedings of 7th Working Conference on Reverse Engineering (Brisbane, Queensland, Australia, 2000), 108-117.
15. Mayrhauser, A. v. and Lang, S. On the Role of Static Analysis during Software Maintenance. In Proceedings of 7th International Conference on Program Comprehension (Pittsburgh, PA, 1999), IEEE Computer Society, 170-177.
16. Poutakidis, D., Padgham, L., and Winikoff, M. Debugging Multi-Agent Systems Using Design Artifacts: The Case of Interaction Protocols. In Proceedings of First International Joint Conference on Autonomous Agents and MultiAgent Systems (Bologna, Italy, 2002), ACM Press, 960-967.
17. Robby, Dwyer, M. B., and Hatcliff, J. Bogor: An Extensible and Highly-Modular Model Checking Framework. In Proceedings of Fourth Joint Meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering (Helsinki, Finland, 2003), ACM Press, 267-276.
18. Schauer, R. and Keller, R. K. Pattern Visualization for Software Comprehension. In Proceedings of 6th International Workshop on Program Comprehension (Ischia, Italy, 1998), 4-12.
19. Sim, S. E. and Storey, M.-A. A Structured Demonstration of Program Comprehension Tools. In Proceedings of Seventh Working Conference on Reverse Engineering (Toronto, Ontario, Canada, 1999), IEEE Computer Society, 184.
20. Stroulia, E. and Systä, T. Dynamic Analysis for Reverse Engineering and Program Understanding. ACM SIGAPP Applied Computing Review, 10, 1 (2002), 8-17.
21. Visser, W., Havelund, K., Brat, G., Park, S., and Lerda, F. Model Checking Programs. Automated Software Engineering Journal, 10, 2 (2003).