Journals in DBLP

IEEE Trans. Software Eng.
1979, volume: 5, number: 4

1. Zohar Manna, Richard J. Waldinger
   Synthesis: Dreams - Programs. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1979, v:5, n:4, pp:294-328 [Journal]
   
2. Kishor S. Trivedi, Robert A. Wagner
   A Decision Model for Closed Queuing Networks. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1979, v:5, n:4, pp:328-332 [Journal]
   
3. Jon Louis Bentley
   Multidimensional Binary Search Trees in Database Applications. [Citation Graph (25, 0)][DBLP]
   IEEE Trans. Software Eng., 1979, v:5, n:4, pp:333-340 [Journal]
   
4. Shahid H. Bokhari
   Dual Processor Scheduling with Dynamic Reassignment. [Citation Graph (1, 0)][DBLP]
   IEEE Trans. Software Eng., 1979, v:5, n:4, pp:341-349 [Journal]
   
5. David K. Hsiao, Douglas S. Kerr, Chen-Jen Nee
   Database Access Control in the Presence of Context Dependent Protection Requirement. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1979, v:5, n:4, pp:349-358 [Journal]
   
6. David B. Wortman
   On Legality Assertions in Euclid. [Citation Graph (1, 0)][DBLP]
   IEEE Trans. Software Eng., 1979, v:5, n:4, pp:359-367 [Journal]
   
7. William H. Harrison
   A New Strategy for Code Generation - the General-Purpose Optimizing Compiler. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1979, v:5, n:4, pp:367-373 [Journal]
   
8. Edwin Towster
   A Convention for Explicit Declaration of Environments and Top-Down Refinement of Data. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1979, v:5, n:4, pp:374-386 [Journal]
   
9. Mark Moriconi
   A Designer/Verifiers's Assistant. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1979, v:5, n:4, pp:387-401 [Journal]
   
10. Thomas E. Cheatham Jr., Glenn H. Holloway, Judy A. Townley
    Symbolic Evaluation and the Analysis of Programs. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1979, v:5, n:4, pp:402-417 [Journal]
    
11. Ronald F. Boisvert, John R. Rice, Elias N. Houstis
    A System for Performance Evaluation of Partial Differential Equations Software. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1979, v:5, n:4, pp:418-425 [Journal]
    
12. Richard E. Fairley
    ALADDIN: Assembly Language Assertion Driven Debugging Interpreter. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1979, v:5, n:4, pp:426-428 [Journal]