Early Detection of Design Faults Relative to Requirement Specifications in Agent-Based Models
暂无分享,去创建一个
[1] Michael Winikoff,et al. Checking The Correctness of Agent Designs Against Model-Based Requirements , 2014, ECAI.
[2] James Harland,et al. Checking consistency of agent designs against interaction protocols for early-phase defect location , 2014, AAMAS.
[3] Rafael H. Bordini,et al. Model checking agent programming languages , 2012, Automated Software Engineering.
[4] Lin Padgham,et al. Scenarios for system requirements traceability and testing , 2011, AAMAS.
[5] Scott A. DeLoach,et al. O-MaSE: a customisable approach to designing and building complex, adaptive multi-agent systems , 2010, Int. J. Agent Oriented Softw. Eng..
[6] Koen V. Hindriks,et al. Specification and Verification of Multi-agent Systems , 2010 .
[7] Lin Padgham,et al. Test Coverage Criteria for Agent Interaction Testing , 2010, AOSE.
[8] Michael Luck,et al. Evolutionary testing of autonomous software agents , 2009, Autonomous Agents and Multi-Agent Systems.
[9] Andrea Zisman,et al. Traceability and completeness checking for agent-oriented systems , 2008, SAC '08.
[10] Michael Winikoff,et al. The Prometheus Design Tool - A Conference Management System Case Study , 2007, AOSE.
[11] Anna Perini,et al. A Goal-Oriented Software Testing Methodology , 2007, AOSE.
[12] Michael Luck,et al. Crossing the agent technology chasm: Lessons, experiences and challenges in commercial applications of agents , 2006, The Knowledge Engineering Review.
[13] Winfried Lamersdorf,et al. Validation of BDI Agents , 2006, PROMAS.
[14] Rafael Heitor Bordini,et al. Verifying Multi-agent Programs by Model Checking , 2006, Autonomous Agents and Multi-Agent Systems.
[15] M. Winikoff,et al. Tool support for agent development using the Prometheus methodology , 2005, Fifth International Conference on Quality Software (QSIC'05).
[16] John Mylopoulos,et al. Goal-oriented requirements analysis and reasoning in the Tropos methodology , 2005, Eng. Appl. Artif. Intell..
[17] Michael Winikoff,et al. Adding debugging support to the Prometheus methodology , 2005, Eng. Appl. Artif. Intell..
[18] Antonio F. Gómez-Skarmeta,et al. ACLAnalyser: A Tool for Debugging Multi-Agent Systems , 2004, ECAI.
[19] Fausto Giunchiglia,et al. Tropos: An Agent-Oriented Software Development Methodology , 2004, Autonomous Agents and Multi-Agent Systems.
[20] Michael Wooldridge,et al. Model checking agentspeak , 2003, AAMAS '03.
[21] Jorge J. Gómez-Sanz,et al. Agent Oriented Software Engineering with INGENIAS , 2003, CEEMAS.
[22] Hector J. Levesque,et al. The cognitive agents specification language and verification environment for multiagent systems , 2002, AAMAS '02.
[23] Marco Pistore,et al. Model checking early requirements specifications in Tropos , 2001, Proceedings Fifth IEEE International Symposium on Requirements Engineering.
[24] Nicholas R. Jennings,et al. Agent-Oriented Software Engineering , 1999, MAAMAW.
[25] T. Murata,et al. Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.
[26] Barry W. Boehm,et al. Understanding and Controlling Software Costs , 1988, IEEE Trans. Software Eng..
[27] W. Jamroga. Speci cation and Veri cation of Multi-Agent Systems Course Reader , 2015 .
[28] Arnon Sturm,et al. Agent-Oriented Software Engineering , 2014, Springer Berlin Heidelberg.
[29] João Leite,et al. A Survey of Programming Languages and Platforms for Multi-Agent Systems , 2006, Informatica.
[30] Michael Winikoff,et al. Developing intelligent agent systems - a practical guide , 2004, Wiley series in agent technology.
[31] M. Georgeff,et al. BDI Agents: From Theory to Practice , 1995, ICMAS.
[32] L. Padgham,et al. Model-Based Test Oracle Generation for Automated Unit Testing of Agent Systems , 2013, IEEE Transactions on Software Engineering.