Journals in DBLP

IEEE Trans. Software Eng.
1990, volume: 16, number: 4

1. Leo Yuhsiang Liu, R. K. Shyamasundar
   Static Analysis of Real-Time Distributed Systems. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1990, v:16, n:4, pp:373-388 [Journal]
   
2. Judy M. Bishop
   The Effect of Data Abstraction on Loop Programming Techniques. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1990, v:16, n:4, pp:389-402 [Journal]
   
3. David Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Aharon Shtull-Trauring, Mark B. Trakhtenbrot
   STATEMATE: A Working Environment for the Development of Complex Reactive Systems. [Citation Graph (3, 0)][DBLP]
   IEEE Trans. Software Eng., 1990, v:16, n:4, pp:403-414 [Journal]
   
4. Alon Itai, Shay Kutten, Yaron Wolfstahl, Shmuel Zaks
   Optimal Distributed t-Resilient Election in Complete Networks. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1990, v:16, n:4, pp:415-420 [Journal]
   
5. Rajiv Gupta, Mary Lou Soffa
   Region Scheduling: An Approach for Detecting and Redistributing Parallelism. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1990, v:16, n:4, pp:421-431 [Journal]
   
6. Nancy G. Leveson, Stephen S. Cha, John C. Knight, Timothy J. Shimeall
   The Use of Self Checks and Voting in Software Error Detection: An Empirical Study. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1990, v:16, n:4, pp:432-443 [Journal]
   
7. Yuan-Bao Shieh, Dipak Ghosal, Prasad R. Chintamaneni, Satish K. Tripathi
   Modeling of Hierarchical Distributed Systems with Fault-Tolerance. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1990, v:16, n:4, pp:444-457 [Journal]
   
8. Sarah Brocklehurst, P. Y. Chan 0002, Bev Littlewood, John Snell
   Recalibrating Software Reliability Models. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1990, v:16, n:4, pp:458-470 [Journal]
   
9. Fred Kaudel
   Comments on ``Allocating Programs Containing Branches and Loops Within a Multiple Processor System''. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1990, v:16, n:4, pp:471- [Journal]
   
10. Robin A. Nicholl
    Unreachable States in Model-Oriented Specifications. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1990, v:16, n:4, pp:472-477 [Journal]
    
11. Donald F. Towsley
    Correction to ``Allocating Programs Containing Branches and Loops Within a Multiple Processor System''. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1990, v:16, n:4, pp:472- [Journal]
    
12. Margaret H. Eich, Sharon M. Garard
    The Performance of Flow Graph Locking. [Citation Graph (1, 0)][DBLP]
    IEEE Trans. Software Eng., 1990, v:16, n:4, pp:477-483 [Journal]
    
13. David Callahan, Alan Carle, Mary W. Hall, Ken Kennedy
    Constructing the Procedure Call Multigraph. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1990, v:16, n:4, pp:483-487 [Journal]