Journals in DBLP

IEEE Trans. Software Eng.
2003, volume: 29, number: 1

1. Fan Zhang, To-Yat Cheung
   Optimal Transfer Trees and Distinguishing Trees for Testing Observable Nondeterministic Finite-State Machines. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 2003, v:29, n:1, pp:1-14 [Journal]
   
2. Haiping Xu, Sol M. Shatz
   A Framework for Model-Based Design of Agent-Oriented Software. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 2003, v:29, n:1, pp:15-30 [Journal]
   
3. Dianxiang Xu, Jianwen Yin, Yi Deng, Junhua Ding
   A Formal Architectural Model for Logical Agent Mobility. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 2003, v:29, n:1, pp:31-45 [Journal]
   
4. Richard Lai, Sun-Jen Huang
   A Model for Estimating the Size of a Formal Communication Protocol Specification and Its Implementation. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 2003, v:29, n:1, pp:46-62 [Journal]
   
5. Ping-Yu Hsu, Yuan-Bin Chang, Yen-Liang Chen
   STRPN: A Petri-Net Approach for Modeling Spatial-Temporal Relations between Moving Multimedia Objects. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 2003, v:29, n:1, pp:63-76 [Journal]
   
6. Rajendra K. Bandi, Vijay K. Vaishnavi, Daniel E. Turk
   Predicting Maintenance Performance Using Object-Oriented Design Complexity Metrics. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 2003, v:29, n:1, pp:77-87 [Journal]
   
7. Philip J. Boland, Harshinder Singh, Bojan Cukic
   Comparing Partition and Random Testing via Majorization and Schur Functions. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 2003, v:29, n:1, pp:88-94 [Journal]