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

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	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	Timed Weak Simulation Verification and its application to Stepwise Refinement of Real-Time Software
Author	Satoshi Yamane
Citation	Vol. 6  No. 1  pp. 192~203
Keywords	Refinement Design Method, Real-Time Software, Timed Weak Simulation Relation, Verification, Real-Time Scheduling