The SCEAS System
Navigation Menu

Journals in DBLP

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

  1. Brent Auernheimer, Richard A. Kemmerer
    RT-ASLAN: A Specification Language for Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1986, v:12, n:9, pp:879-889 [Journal]
  2. Farnam Jahanian, Aloysius K. Mok
    Safety Analysis of Timing Properties in Real-Time Systems. [Citation Graph (1, 0)][DBLP]
    IEEE Trans. Software Eng., 1986, v:12, n:9, pp:890-904 [Journal]
  3. Peter G. Neumann
    On Hierarchical Design of Computer Systems for Critical Applications. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1986, v:12, n:9, pp:905-920 [Journal]
  4. Andrew M. Tyrrell, David J. Holding
    Design of Reliable Software in Distributed Systems Using the Conversation Scheme. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1986, v:12, n:9, pp:921-928 [Journal]
  5. Peter G. Bishop, David G. Esp, Mel Barnes, Peter Humphreys, Gustav Dahll, Jaakko Lahti
    PODS - A Project on Diverse Software. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1986, v:12, n:9, pp:929-940 [Journal]
  6. Eugene Kligerman, Alexander D. Stoyenko
    Real-Time Euclid: A Language for Reliable Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1986, v:12, n:9, pp:941-949 [Journal]
  7. Abdallah A. Abdel-Ghaly, P. Y. Chan 0002, Bev Littlewood
    Evaluation of Competing Software Reliability Predictions. [Citation Graph (1, 0)][DBLP]
    IEEE Trans. Software Eng., 1986, v:12, n:9, pp:950-967 [Journal]
  8. Robert Troy, Yves Romain
    A Statistical Methodology for the Study of the Software Failure Process and Its Application to the ARGOS Center. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1986, v:12, n:9, pp:968-978 [Journal]
  9. Thomas Downs
    Extensions to an Approach to the Modeling of Software Testing with Some Performance Comparisons. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1986, v:12, n:9, pp:979-987 [Journal]
  10. Robin E. Bloomfield, Peter K. D. Froome
    The Application of Formal Methods to the Assessment of High Integrity Software. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1986, v:12, n:9, pp:988-993 [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