Searching...
Advanced Search
Publication
2003
Issue No. 1 - January
This Publication
Digital Library
Advanced Search
This Publication
Subscribe to this Publication
Login to access your subscribed content
RSS feed for this Publication
Bibliographic References
ASCII Text
BibTex
Refworks Procite/RefMan
IEEE Transactions on Software Engineering
January 2003 (vol. 29 no. 1)
ISSN: 0098-5589
Table of Contents
PAPERS
Optimal Transfer Trees and Distinguishing Trees for Testing Observable Nondeterministic Finite-State Machines
(Abstract)
Fan Zhang
To-yat Cheung
pp. 1-14
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Framework for Model-Based Design of Agent-Oriented Software
(Abstract)
Haiping Xu
Sol M. Shatz
pp. 15-30
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Formal Architectural Model for Logical Agent Mobility
(Abstract)
Dianxiang Xu
Jianwen Yin
Yi Deng
Junhua Ding
pp. 31-45
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Model for Estimating the Size of a Formal Communication Protocol Specification and Its Implementation
(Abstract)
Richard Lai
Sun-Jen Huang
pp. 46-62
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
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
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Predicting Maintenance Performance Using Object-Oriented Design Complexity Metrics
(Abstract)
Rajendra K. Bandi
Vijay K. Vaishnavi
Daniel E. Turk
pp. 77-87
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
SHORT PAPERS
Comparing Partition and Random Testing via Majorization and Schur Functions
(Abstract)
Philip J. Boland
Harshinder Singh
Bojan Cukic
pp. 88-94
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
2002 Reviewers List
2002 Reviewers List
(HTML)
pp. 95-96
ABSTRACT
PDF
HTML
Peer Review Notice
|
Give Us Feedback
Usage of this product signifies your acceptance of the
Terms of Use
.
Open
Download