Journals in DBLP

IEEE Trans. Software Eng.
1980, volume: 6, number: 1

1. Kathryn L. Heninger
   Specifying Software Requirements for Complex Systems: New Techniques and Their Application. [Citation Graph (1, 0)][DBLP]
   IEEE Trans. Software Eng., 1980, v:6, n:1, pp:2-13 [Journal]
   
2. John V. Guttag
   Notes on Type Abstraction (Version 2). [Citation Graph (2, 0)][DBLP]
   IEEE Trans. Software Eng., 1980, v:6, n:1, pp:13-23 [Journal]
   
3. David R. Musser
   Abstract Data Type Specification in the AFFIRM System. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1980, v:6, n:1, pp:24-32 [Journal]
   
4. Sanat K. Basu
   A Note on Synthesis of Inductive Assertions. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1980, v:6, n:1, pp:32-39 [Journal]
   
5. Moshe Tamir
   ADI: Automatic Derivation of Invariants. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1980, v:6, n:1, pp:40-48 [Journal]
   
6. Anders P. Ravn
   Device Monitors. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1980, v:6, n:1, pp:49-53 [Journal]
   
7. Hideyuki Takahashi
   An Automatic-Controller Description Language. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1980, v:6, n:1, pp:53-64 [Journal]
   
8. Peter J. Denning
   Working Sets Past and Present. [Citation Graph (3, 0)][DBLP]
   IEEE Trans. Software Eng., 1980, v:6, n:1, pp:64-84 [Journal]
   
9. Dennis W. Leinbaugh
   Guaranteed Response Times in a Hard-Real-Time Environment. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1980, v:6, n:1, pp:85-91 [Journal]
   
10. Jayanta Banerjee, David K. Hsiao, Fred K. Ng
    Database Transformation, Query Translation, and Performance Analysis of a New Database Computer in Supporting Hierarchical Database Management. [Citation Graph (1, 0)][DBLP]
    IEEE Trans. Software Eng., 1980, v:6, n:1, pp:91-109 [Journal]