The SCEAS System
Navigation Menu

Journals in DBLP

IEEE Trans. Software Eng.
1986, volume: 12, number: 1

  1. P. Allen Currit, Michael G. Dyer, Harlan D. Mills
    Certifying the Reliability of Software. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1986, v:12, n:1, pp:3-11 [Journal]
  2. Douglas R. Miller
    Exponential Order Statistic Models of Software Reliability Growth. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1986, v:12, n:1, pp:12-24 [Journal]
  3. F.-W. Scholz
    Software Reliability Modeling and Analysis. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1986, v:12, n:1, pp:25-31 [Journal]
  4. Ushio Sumita, Yasushi Masuda
    Analysis of Software Availability/Reliability Under the Influence of Hardware Failures. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1986, v:12, n:1, pp:32-41 [Journal]
  5. Viktor K. Prasanna, Salim Hariri, Cauligi S. Raghavendra
    Distributed Program Reliability Analysis. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1986, v:12, n:1, pp:42-50 [Journal]
  6. Herbert Hecht, Myron Hecht
    Software Reliability in the System Context. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1986, v:12, n:1, pp:51-58 [Journal]
  7. Pankaj Jalote, Roy H. Campbell
    Atomic Actions for Fault-Tolerance Using CSP. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1986, v:12, n:1, pp:59-68 [Journal]
  8. David J. Taylor
    Concurrency and Forward Recovery in Atomic Actions. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1986, v:12, n:1, pp:69-78 [Journal]
  9. Luigi V. Mancini
    Modular Redundancy in a Message Passing System. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1986, v:12, n:1, pp:79-86 [Journal]
  10. Shambhu J. Upadhyaya, Kewal K. Saluja
    A Wachtdog Processor Based General Rollback Technique with Multiple Retries. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1986, v:12, n:1, pp:87-95 [Journal]
  11. John C. Knight, Nancy G. Leveson
    An Experimental Evaluation of the Assumption of Independence in Multiversion Programming. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1986, v:12, n:1, pp:96-109 [Journal]
  12. Janet R. Dunham
    Experiments in Software Reliability: Life-Critical Applications. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1986, v:12, n:1, pp:110-123 [Journal]
  13. Ian J. Hayes
    Specification Directed Module Testing. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1986, v:12, n:1, pp:124-133 [Journal]
  14. Hideaki Tsubotani, Noriaki Monden, Minoru Tanaka, Tadao Ichikawa
    A High Level Language-Based Computing Environment to Support Production and Execution of Reliable Programs. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1986, v:12, n:1, pp:134-146 [Journal]
  15. Anthony I. Wasserman, Peter A. Pircher, David T. Shewmake
    Building Reliable Interactive Information Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1986, v:12, n:1, pp:147-156 [Journal]
  16. Robert E. Strom, Shaula Yemini
    Typestate: A Programming Language Concept for Enhancing Software Reliability. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1986, v:12, n:1, pp:157-171 [Journal]
  17. Zavid L. Lichtman
    Generation and Consistency Checking of Design and Program Structures. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1986, v:12, n:1, pp:172-181 [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