International Journal of Agent-Oriented Software Engineering (IJAOSE) - 2


	Login

	PUBLISHERS OF DISTINGUISHED ACADEMIC, SCIENTIFIC AND PROFESSIONAL JOURNALS
Home

International Journal of Agent-Oriented Software Engineering (IJAOSE)

Volume 2 - Issue 4 - 2008

Special Issue on Modelling Languages for Agent Systems
Guest Editors: Dr. Haralambos (Haris) Mouratidis and Dr. Marc-Philippe Huget

Table of Contents

Pages	Title and authors
382 - 421	MAS-ML: a multiagent system modelling language Viviane Torres Da Silva, Ricardo Choren, Carlos J.P. De Lucena DOI: 10.1504/IJAOSE.2008.020138
422 - 448	Automated testing sequences generation from AUML diagrams: a formal verification of agents' interaction protocols Farid Mokhati, Mourad Badri, Linda Badri, Fathi Hamidane, Sofiane Bouazdia DOI: 10.1504/IJAOSE.2008.020139
449 - 474	Formally specifying and verifying mobile agents – model checking mobility: the MobiOZ approach Kenji Taguchi, Jin Song Dong DOI: 10.1504/IJAOSE.2008.020140
Pages	Title and authors