Journals in DBLP

IEEE Trans. Software Eng.
1996, volume: 22, number: 7

1. Mary Jean Harrold, Gregg Rothermel
   Separate Computation of Alias Information for Reuse. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1996, v:22, n:7, pp:442-460 [Journal]
   
2. James C. Corbett
   Timing Analysis of Ada Tasking Programs. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1996, v:22, n:7, pp:461-483 [Journal]
   
3. Daniel Jackson, Craig Damon
   Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1996, v:22, n:7, pp:484-495 [Journal]
   
4. Patrice Godefroid, Doron Peled, Mark G. Staskauskas
   Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1996, v:22, n:7, pp:496-507 [Journal]
   
5. Pamela Zave, Michael Jackson
   Where Do Operations Come From: A Multiparadigm Specification Technique. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1996, v:22, n:7, pp:508-528 [Journal]