Journals in DBLP

IEEE Trans. Software Eng.
1975, volume: 1, number: 1

1. Barbara Liskov, Stephen N. Zilles
   Specification Techniques for Data Abstractions. [Citation Graph (11, 0)][DBLP]
   IEEE Trans. Software Eng., 1975, v:1, n:1, pp:7-19 [Journal]
   
2. William M. McKeeman
   On Preventing Programming Languages from Interfering with Programming. [Citation Graph (1, 0)][DBLP]
   IEEE Trans. Software Eng., 1975, v:1, n:1, pp:19-26 [Journal]
   
3. Karl E. Hewitt, Brian Smith
   Towards a Programming Apprentice. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1975, v:1, n:1, pp:26-45 [Journal]
   
4. C. V. Ramamoorthy, Siu-Bun F. Ho
   Testing Large Software with Automated Software Evaluation Systems. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1975, v:1, n:1, pp:46-58 [Journal]
   
5. Donald I. Good, Ralph L. London, W. W. Bledsoe
   An Interactive Program Verification System. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1975, v:1, n:1, pp:59-67 [Journal]
   
6. Steven M. German, Ben Wegbreit
   A Synthesizer of Inductive Assertions. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1975, v:1, n:1, pp:68-75 [Journal]
   
7. Sanat K. Basu, Jayadev Misra
   Proving Loop Programs. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1975, v:1, n:1, pp:76-86 [Journal]
   
8. J. Richard Kane, Stephen S. Yau
   Concurrent Software Fault Detection. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1975, v:1, n:1, pp:87-99 [Journal]
   
9. K. Mani Chandy, James C. Browne, Charles W. Dissly, Werner R. Uhrig
   Analytic Models for Rollback and Recovery Strategies in Data Base Systems. [Citation Graph (10, 0)][DBLP]
   IEEE Trans. Software Eng., 1975, v:1, n:1, pp:100-110 [Journal]
   
10. Douglas E. Whitten, Paul A. D. de Maine
    A Machine and Configuration Independent Fortran: Portable Fortran (PFortran). [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1975, v:1, n:1, pp:111-124 [Journal]
    
11. Barry W. Boehm, Robert K. McClean, D. B. Urfrig
    Some Experience with Automated Aids to the Design of Large-Scale Reliable Software. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1975, v:1, n:1, pp:125-133 [Journal]