Journals in DBLP

IEEE Trans. Software Eng.
1997, volume: 23, number: 9

1. Nam-Yong Lee, Charles R. Litecky
   An Empirical Study of Software Reuse with Special Attention to Ada. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1997, v:23, n:9, pp:537-549 [Journal]
   
2. Riccardo Focardi, Roberto Gorrieri
   The Compositional Security Checker: A Tool for the Verification of Information Flow Security Properties. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1997, v:23, n:9, pp:550-571 [Journal]
   
3. Alberto Coen-Porisini, Carlo Ghezzi, Richard A. Kemmerer
   Specification of Realtime Systems Using ASTRAL. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1997, v:23, n:9, pp:572-598 [Journal]
   
4. Tarek F. Abdelzaher, Kang G. Shin
   Comment on ``A Pre-Run-Time Scheduling Algorithm for Hard Real-Time Systems''. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1997, v:23, n:9, pp:599-600 [Journal]