Journals in DBLP

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

1. Nancy G. Leveson
   Guest Editor's Introduction Formal Methods in Software Engineering. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1990, v:16, n:9, pp:929-931 [Journal]
   
2. Andrew P. Moore
   The Specification and Verified Decomposition of System Requirements Using CSP. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1990, v:16, n:9, pp:932-948 [Journal]
   
3. F. Keith Hanna, Neil Daeche, Mark Longley
   Specification and Verification Using Dependent Types. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1990, v:16, n:9, pp:949-964 [Journal]
   
4. Andy Podgurski, Lori A. Clarke
   A Formal Model of Program Dependences and Its Implications for Software Testing, Debugging, and Maintenance. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1990, v:16, n:9, pp:965-979 [Journal]
   
5. Mark Moriconi, Timothy C. Winkler
   Approximate Reasoning About the Semantic Effects of Program Changes. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1990, v:16, n:9, pp:980-992 [Journal]
   
6. Albert John Camilleri
   Mechanizing CSP Trace Theory in Higher Order Logic. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1990, v:16, n:9, pp:993-1004 [Journal]
   
7. David M. Goldschlag
   Mechanically Verifying Concurrent Programs with the Boyer-Moore Prover. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1990, v:16, n:9, pp:1005-1023 [Journal]
   
8. Douglas R. Smith
   KIDS: A Semiautomatic Program Development System. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1990, v:16, n:9, pp:1024-1043 [Journal]
   
9. Stephen J. Garland, John V. Guttag, James J. Horning
   Debugging Larch Shared Language Specifications. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1990, v:16, n:9, pp:1044-1057 [Journal]
   
10. David Guaspari, Carla Marceau, Wolfgang Polak
    Formal Verification of Ada Programs. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1990, v:16, n:9, pp:1058-1075 [Journal]
    
11. Jeannette M. Wing
    Using Larch to Specify Avalon/C++ Objects. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1990, v:16, n:9, pp:1076-1088 [Journal]
    
12. K. T. Narayana, Sanjeev Dharap
    Formal Specification of a Look Manager. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1990, v:16, n:9, pp:1089-1103 [Journal]