Journals in DBLP

IEEE Trans. Software Eng.
1994, volume: 20, number: 6

1. Venkatesh Akella, Ganesh Gopalakrishnan
   Specification and Validation of Control-Intensive IC's in hopCP. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1994, v:20, n:6, pp:405-423 [Journal]
   
2. Nirmal R. Saxena, Edward J. McCluskey
   Linear Complexity Assertions for Sorting. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1994, v:20, n:6, pp:424-431 [Journal]
   
3. Phillip Krueger, Niranjan G. Shivaratri
   Adaptive Location Policies for Global Scheduling. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1994, v:20, n:6, pp:432-444 [Journal]
   
4. William E. Howden, Bruce Wieand
   QDA-A Method for Systematic Informal Program Analysis. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1994, v:20, n:6, pp:445-462 [Journal]
   
5. Santanu Paul, Atul Prakash
   A Framework for Source Code Search Using Program Patterns. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1994, v:20, n:6, pp:463-475 [Journal]
   
6. Shyam R. Chidamber, Chris F. Kemerer
   A Metrics Suite for Object Oriented Design. [Citation Graph (1, 0)][DBLP]
   IEEE Trans. Software Eng., 1994, v:20, n:6, pp:476-493 [Journal]
   
7. Claes Wohlin, Per Runeson
   Certification of Software Components. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1994, v:20, n:6, pp:494-499 [Journal]
   
8. Mitchell Flatebo, Ajoy Kumar Datta
   Two-State Self-Stabilizing Algorithms for Token Rings. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1994, v:20, n:6, pp:500-504 [Journal]