Journals in DBLP

IEEE Trans. Software Eng.
1998, volume: 24, number: 9

1. Yih-Farn Chen, Emden R. Gansner, Eleftherios Koutsofios
   AC++ Data Model Supporting Reachability Analysis and Dead Code Detection. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1998, v:24, n:9, pp:682-694 [Journal]
   
2. Jules Desharnais, Marc Frappier, Ridha Khédri, Ali Mili
   Integration of Sequential Scenarios. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1998, v:24, n:9, pp:695-708 [Journal]
   
3. John M. Rushby, Sam Owre, Natarajan Shankar
   Subtypes for Specifications: Predicate Subtyping in PVS. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1998, v:24, n:9, pp:709-720 [Journal]
   
4. Gerardo Canfora, Aniello Cimitile, Ugo de Carlini, Andrea De Lucia
   An Extensible System for Source Code Analysis. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1998, v:24, n:9, pp:721-740 [Journal]
   
5. Steve Schneider
   Verifying Authentication Protocols in CSP. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1998, v:24, n:9, pp:741-758 [Journal]
   
6. Xiping Song, Leon J. Osterweil
   Engineering Software Design Processes to Guide Process Execution. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1998, v:24, n:9, pp:759-775 [Journal]