The SCEAS System
Navigation Menu

Journals in DBLP

IEEE Trans. Software Eng.
1989, volume: 15, number: 11

  1. Lori A. Clarke, Andy Podgurski, Debra J. Richardson, Steven J. Zeil
    A Formal Evaluation of Data Flow Path Selection Criteria. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1989, v:15, n:11, pp:1318-1332 [Journal]
  2. Karen Shannon, Richard T. Snodgrass
    Mapping the Interface Description Language Type Model into C. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1989, v:15, n:11, pp:1333-1346 [Journal]
  3. Gregor von Bochmann, Rachida Dssouli, J. R. Zhao
    Trace Analysis for Conformance and Arbitration Testing. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1989, v:15, n:11, pp:1347-1356 [Journal]
  4. Jai Prakash Gupta, Stephen C. Winter, Derek R. Wilson
    CTDNet-A Mechanism for the Concurrent Execution of Lambda Graphs. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1989, v:15, n:11, pp:1357-1367 [Journal]
  5. D. Sarkar, S. C. De Sarkar
    A Set of Inference Rules for Quantified Formula Handling and Array Handling in Verification of Programs Over Integers. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1989, v:15, n:11, pp:1368-1381 [Journal]
  6. William R. Bevier
    Kit: A Study in Operating System Verification. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1989, v:15, n:11, pp:1382-1396 [Journal]
  7. Harold Ossher
    A Case Study in Structure Specification: A Grid Description of Scribe. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1989, v:15, n:11, pp:1397-1416 [Journal]
  8. Michael Evangelist, Nissim Francez, Shmuel Katz
    Multiparty Interactions for Interprocess Communication and Synchronization. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1989, v:15, n:11, pp:1417-1426 [Journal]
  9. David Fernández-Baca
    Allocating Modules to Processors in a Distributed System. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1989, v:15, n:11, pp:1427-1436 [Journal]
  10. T. H. Merrett, Normand Laliberte
    Including Scalars in a Programming Language Based on the Relational Algebra. [Citation Graph (1, 0)][DBLP]
    IEEE Trans. Software Eng., 1989, v:15, n:11, pp:1437-1443 [Journal]
  11. Marvin Theimer, Keith A. Lantz
    Finding Idle Machines in a Workstation-Based Distributed System. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1989, v:15, n:11, pp:1444-1458 [Journal]
  12. Anna Hac
    A Distributed Algorithm for Performance Improvement Through File Replication, File Migration, and Process Migration. [Citation Graph (1, 0)][DBLP]
    IEEE Trans. Software Eng., 1989, v:15, n:11, pp:1459-1470 [Journal]
  13. Gerald M. Karam, Christine M. Stanczyk, Gregory W. Bond
    Critical Races in Ada Programs. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1989, v:15, n:11, pp:1471-1480 [Journal]
  14. Susan S. Brilliant, John C. Knight, Nancy G. Leveson
    The Consistent Comparison Problem in N-Version Software. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1989, v:15, n:11, pp:1481-1485 [Journal]
  15. Harry Joe
    Statistical Inference for General-Order-Statistics and Nonhomogeneous-Poisson-Process Software Reliability Models. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1989, v:15, n:11, pp:1485-1490 [Journal]
  16. Anthony Chung, Deepinder P. Sidhu
    On Conditions for Defining a Closed Cover to Verify Progress for Communicating Finite State Machines. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1989, v:15, n:11, pp:1491-1494 [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