This is an email notification to people holding an electronic subscription
to IEEE Transactions on Software Engineering. The latest issue is currently
available to view online.


IEEE Transactions on Software Engineering
January 2003, Vol. 29, No. 1
http://computer.org/tse/ts2003/e1toc.htm


PAPERS

Optimal Transfer Trees and Distingushing Trees for Testing Observable
Nondeterministic Finite-State Machines
F. Zhang and T.-y. Cheung

A Framework for Model-Based Design of Agent-Oriented Software
H. Xu and S.M. Shatz

A Formal Architecture Model for Logical Agent Mobility
D. Xu, J. Yin, Y. Deng, and J. Ding

A Model for Estimating the Size of a Formal Communication Protocol
Specification and Its Implememtation
R. Lai and S.-J. Huang

STRPN: A Petri-Net Approach for Modeling Spatial-Temporal Relations between
Moving Multimedia Objects
P.-Y. Hsu, Y.-B. Chang, and Y.-L. Chen

Predicting Maintenance Performance Using Object-Oriented Design Complexity
Metrics
R.K. Bandi, V.K. Vaishnavi, and D.E. Turk

SHORT PAPERS

Comparing Partition and Random Testing via Majorization and Schur Functions
P.J. Boland, H. Singh, and B. Cukic ..

2002 Reviewers List

---------------------------------------------------

If you wish to be removed from this mailing list, send a message
to listserv@computer.org with the following text in the body of the
message:

    unsubscribe tse_subscribers

---------------------------------------------------