Journals in DBLP

IEEE Trans. Software Eng.
1976, volume: 2, number: 4

1. David Gries
   An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1976, v:2, n:4, pp:238-244 [Journal]
   
2. Charles Reynolds, Raymond T. Yeh
   Induction as the Basis for Program Verification. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1976, v:2, n:4, pp:244-252 [Journal]
   
3. William A. Wulf, Ralph L. London, Mary Shaw
   An Introduction to the Construction and Verification of Alphard Programs. [Citation Graph (4, 0)][DBLP]
   IEEE Trans. Software Eng., 1976, v:2, n:4, pp:253-265 [Journal]
   
4. Harlan D. Mills
   Software Development. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1976, v:2, n:4, pp:265-273 [Journal]
   
5. Maurice V. Wilkes
   Software Engineering and Structured Programming. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1976, v:2, n:4, pp:274-276 [Journal]
   
6. Anita K. Jones, Barbara Liskov
   A Language Extension for Controlling Access to Shared Data. [Citation Graph (1, 0)][DBLP]
   IEEE Trans. Software Eng., 1976, v:2, n:4, pp:277-285 [Journal]
   
7. Susan L. Gerhart, Lawrence Yelowitz
   Control Structure Abstractions of the Backtracking Programming Technique. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1976, v:2, n:4, pp:285-292 [Journal]
   
8. C. V. Ramamoorthy, Siu-Bun F. Ho, W. T. Chen
   On the Automated Generation of Program Test Data. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1976, v:2, n:4, pp:293-300 [Journal]
   
9. David Lorge Parnas, Georg Handzel, Harald Würges
   Design and Specification of the Minimal Subset of an Operating System Family. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1976, v:2, n:4, pp:301-307 [Journal]
   
10. Thomas J. McCabe
    A Complexity Measure. [Citation Graph (7, 0)][DBLP]
    IEEE Trans. Software Eng., 1976, v:2, n:4, pp:308-320 [Journal]
    
11. J. Eugene Ball, Jerome A. Feldman, James R. Low, Richard F. Rashid, Paul Rovner
    RIG, Rochester's Intelligent Gateway: System Overview. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1976, v:2, n:4, pp:321-328 [Journal]