Journals in DBLP

IEEE Trans. Software Eng.
2006, volume: 32, number: 6

1. Jun Sun, Jin Song Dong
   Design Synthesis from Interaction and State-Based Specifications. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 2006, v:32, n:6, pp:349-364 [Journal]
   
2. Erik Arisholm, Lionel C. Briand, Siw Elisabeth Hove, Yvan Labiche
   The Impact of UML Documentation on Software Maintenance: An Experimental Evaluation. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 2006, v:32, n:6, pp:365-381 [Journal]
   
3. Yu Lei, Richard H. Carver
   Reachability Testing of Concurrent Programs. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 2006, v:32, n:6, pp:382-403 [Journal]
   
4. Daqing Hou, H. James Hoover
   Using SCL to Specify and Check Design Intent in Source Code. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 2006, v:32, n:6, pp:404-423 [Journal]
   
5. Carlo A. Furia, Angelo Morzenti, Matteo Pradella, Matteo Rossi
   Comments on "An Interval Logic for Real-Time System Specification'. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 2006, v:32, n:6, pp:424-427 [Journal]
   
6. Pierfrancesco Bellini, Paolo Nesi, Davide Rogai
   Reply to Comments on "An Interval Logic for Real-Time System Specification'. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 2006, v:32, n:6, pp:428-431 [Journal]