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

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