Traceability and completeness checking for agent-oriented systems
暂无分享,去创建一个
[1] Rafael Heitor Bordini,et al. Verifying Multi-agent Programs by Model Checking , 2006, Autonomous Agents and Multi-Agent Systems.
[2] Michael Luck,et al. Agent-Based Software Development , 2004 .
[3] Michael Winikoff,et al. Current Issues in Multi-Agent Systems Development , 2006, ESAW.
[4] Anna Perini,et al. Automating Model Transformations in Agent-Oriented Modelling , 2005, AOSE.
[5] Michael Winikoff,et al. Developing intelligent agent systems - a practical guide , 2004, Wiley series in agent technology.
[6] J. Dick. Rich Traceability , 2002 .
[7] Matthias Jarke,et al. Toward Reference Models of Requirements Traceability , 2001, IEEE Trans. Software Eng..
[8] Steven P. Reiss,et al. Incremental Maintenance of Software Artifacts , 2006, IEEE Transactions on Software Engineering.
[9] Jaelson Brelaz de Castro,et al. A Process for Requirement Traceability in Agent Oriented Development , 2005, WER.
[10] Michael Winikoff,et al. Tool support for agent development using the Prometheus methodology , 2005, Fifth International Conference on Quality Software (QSIC'05).
[11] Michael Winikoff,et al. JACKTM Intelligent Agents: An Industrial Strength Platform , 2005, Multi-Agent Programming.
[12] Julia Rubin,et al. Model traceability , 2006, IBM Syst. J..
[13] Andrea Zisman,et al. Traceability for Agent-Oriented Design Models and Code , 2007, SEKE.
[14] Michael Winikoff,et al. Current Issues in Multi-Agent Systems Development ( Invited Paper ) , 2007 .
[15] Michael Luck,et al. Commercial applications of agents: lessons, experiences and challenges , 2006, AAMAS '06.
[16] Michael Winikoff,et al. AUML protocols and code generation in the Prometheus design tool , 2007, AAMAS '07.
[17] George Spanoudakis,et al. Software Traceability : A Roadmap , 2005 .
[18] Michael Winikoff,et al. Debugging multi-agent systems using design artifacts: the case of interaction protocols , 2002, AAMAS '02.
[19] Olly Gotel,et al. An analysis of the requirements traceability problem , 1994, Proceedings of IEEE International Conference on Requirements Engineering.
[20] Michael Winikoff,et al. Prometheus design tool , 2005, AAMAS '05.
[21] Terence Parr. The Definitive ANTLR Reference: Building Domain-Specific Languages , 2007 .
[22] Joachim Bayer,et al. Introducing Traceability to Product Lines , 2001, PFE.
[23] Franco Zambonelli,et al. Engineering Societies in the Agents World , 2000, Lecture Notes in Computer Science.