Journals in DBLP

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

1. Rajive Bagrodia, Wen-Toh Liao
   Maisie: A Language for the Design of Efficient Discrete-Event Simulations. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1994, v:20, n:4, pp:225-238 [Journal]
   
2. Gruia-Catalin Roman, C. Donald Wilcox
   Architecture-Directed Refinement. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1994, v:20, n:4, pp:239-258 [Journal]
   
3. Sergio Antoy, John D. Gannon
   Using Term Rewriting to Verify Software. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1994, v:20, n:4, pp:259-274 [Journal]
   
4. Jack E. Matson, Bruce E. Barrett, Joseph M. Mellichamp
   Software Development Cost Estimation Using Function Points. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1994, v:20, n:4, pp:275-287 [Journal]
   
5. George W. Ernst, Raymond J. Hookway, William F. Ogden
   Modular Verification of Data Abstractions with Shared Realizations. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1994, v:20, n:4, pp:288-307 [Journal]
   
6. Steve Vestal
   Fixed-Priority Sensitivity Analysis for Linear Compute Time Models. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1994, v:20, n:4, pp:308-317 [Journal]
   
7. Siddhartha R. Dalal, Allen A. McIntosh
   When to Stop Testing for Large Software Systems with Changing Code. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1994, v:20, n:4, pp:318-323 [Journal]