Title	Object-Oriented Petri nets Based Architecture Description Language for Multi-agent Systems
Author	Zhenhua Yu, Yuanli Cai
Citation	Vol. 6  No. 1  pp. 123~131
Keywords	Multi-agent systems, software architecture, architecture description language, Object-Oriented Petri nets, BDI model

Title	An efficient development method for plant control software using algebraic specification and software components
Author	Masakazu Takahashi, Satoru Takahashi, Kazuhiko Tsuda
Citation	Vol. 6  No. 1  pp. 69~80
Keywords	Plant, control software, algebraic specification, software components, integrated development environment

Title	An Empirical Study of Configuration Strategies of Evolutionary Testing
Author	Liang Shi, Baowen Xu, Xiaoyuan Xie
Citation	Vol. 6  No. 1  pp. 44~49
Keywords	Software testing, evolutionary testing, genetic algorithm, empirical study