The SCEAS System
Navigation Menu

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]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002