The SCEAS System
Navigation Menu

Journals in DBLP

IEEE Trans. Software Eng.
1993, volume: 19, number: 9

  1. Mohan Ahuja, Timothy Carlson, Ashwani Gahlot
    Passive-space and Time View: Vector Clocks for Achieving Higher Performance, Program Correction, and Distributed Computing. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1993, v:19, n:9, pp:845-855 [Journal]
  2. David Lorge Parnas
    Predicate Logic for Software Engineering. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1993, v:19, n:9, pp:856-862 [Journal]
  3. Albert Mo Kim Cheng, James C. Browne, Aloysius K. Mok, Rwo-Hsi Wang
    Analysis of Real-Time Rule-Based Systems with Bahavioral Constraint Assertions Specified in Estella. [Citation Graph (2, 0)][DBLP]
    IEEE Trans. Software Eng., 1993, v:19, n:9, pp:863-885 [Journal]
  4. Paul Helman, Gunar E. Liepins
    Statistical Foundations of Audit Trail Analysis for the Detection of Computer Misuse. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1993, v:19, n:9, pp:886-901 [Journal]
  5. Ing-Ray Chen, Sayed Atef Banawan
    Modeling and Analysis of Concurrent Maintenance Policies for Data Structures Using Pointers. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1993, v:19, n:9, pp:902-911 [Journal]
  6. Elaine J. Weyuker
    More Experience with Data Flow Testing. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1993, v:19, n:9, pp:912-919 [Journal]
  7. Daniel I. Katcher, Hiroshi Arakawa, Jay K. Strosnider
    Engineering and Analysis of Fixed Priority Schedulers. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1993, v:19, n:9, pp:920-934 [Journal]
  8. John J. Shilling
    Incremental LL(1) Parsing in Language-Based Editors. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1993, v:19, n:9, pp:935-940 [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