Journals in DBLP

IEEE Trans. Software Eng.
1982, volume: 8, number: 5

1. Billy G. Claybrook
   A Specification Method for Specifying Data and Procedural Abstractions. [Citation Graph (2, 0)][DBLP]
   IEEE Trans. Software Eng., 1982, v:8, n:5, pp:449-459 [Journal]
   
2. Carl A. Sunshine, David H. Thompson, Roddy W. Erickson, Susan L. Gerhart, Daniel Schwabe
   Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1982, v:8, n:5, pp:460-489 [Journal]
   
3. Martin S. Feather
   Program Specification Applied to a Text Formatter. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1982, v:8, n:5, pp:490-498 [Journal]
   
4. Nan C. Shu, Vincent Y. Lum, F. C. Tung, Chin-Liang Chang
   Specification of Forms Processing and Business Procedures for Office Automation. [Citation Graph (14, 0)][DBLP]
   IEEE Trans. Software Eng., 1982, v:8, n:5, pp:499-512 [Journal]
   
5. John L. Gieser
   On Horizontally Microprogrammed Microarchitecture Description Techniques. [Citation Graph (1, 0)][DBLP]
   IEEE Trans. Software Eng., 1982, v:8, n:5, pp:513-525 [Journal]
   
6. James E. Archer Jr., Richard Conway
   Display Condensation of Program Text. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1982, v:8, n:5, pp:526-529 [Journal]
   
7. Shovonlal Kundu
   On a Class of Linear Maps for Data Compression. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1982, v:8, n:5, pp:530-532 [Journal]