IEEE Transactions on Software Engineering,January 2003 (Vol. 29, No. 1)

Published Articles >> Table of Contents

January 2003 (Vol. 29, No. 1)
ISSN: 0098-5589

PAPERS
Optimal Transfer Trees and Distinguishing Trees for Testing Observable Nondeterministic Finite-State Machines (Abstract) Fan Zhang To-yat Cheung pp. 1-14
A Framework for Model-Based Design of Agent-Oriented Software (Abstract) Haiping Xu Sol M. Shatz pp. 15-30
A Formal Architectural Model for Logical Agent Mobility (Abstract) Dianxiang Xu Jianwen Yin Yi Deng Junhua Ding pp. 31-45
A Model for Estimating the Size of a Formal Communication Protocol Specification and Its Implementation (Abstract) Richard Lai Sun-Jen Huang pp. 46-62
STRPN: A Petri-Net Approach for Modeling Spatial-Temporal Relations between Moving Multimedia Objects (Abstract) Ping-Yu Hsu Yuan-Bin Chang Yen-Liang Chen pp. 63-76
Predicting Maintenance Performance Using Object-Oriented Design Complexity Metrics (Abstract) Rajendra K. Bandi Vijay K. Vaishnavi Daniel E. Turk pp. 77-87
SHORT PAPERS
Comparing Partition and Random Testing via Majorization and Schur Functions (Abstract) Philip J. Boland Harshinder Singh Bojan Cukic pp. 88-94
2002 Reviewers List
2002 Reviewers List (PDF) pp. 95-96