Journals in DBLP

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

1. Frank A. Feldman
   A New Spectral Test for Nonrandomness and the DES. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1990, v:16, n:3, pp:261-267 [Journal]
   
2. Kurt M. Olender, Leon J. Osterweil
   Cecil: A Sequencing Constraint Language for Automatic Static Analysis Generation. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1990, v:16, n:3, pp:268-280 [Journal]
   
3. Jean-Luc Gaudiot, Andrew Sohn
   Data-Driven Parallel Production Systems. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1990, v:16, n:3, pp:281-293 [Journal]
   
4. James R. Cordy, Nicholas L. Eliot, Michael G. Robertson
   TuringTool: A User Interface to Aid in the Software Maintenance Task. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1990, v:16, n:3, pp:294-301 [Journal]
   
5. Toshihide Ibaraki, Tiko Kameda, Naoki Katoh
   Multiversion Cautious Schedulers for Database Concurrency Control. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1990, v:16, n:3, pp:302-315 [Journal]
   
6. Wei-Tek Tsai, Dmitry Volovik, Thomas F. Keefe
   Automated Test Case Generation for Programs Specified by Relational Algebra Queries. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1990, v:16, n:3, pp:316-324 [Journal]
   
7. Yih-Farn Chen, Michael Y. Nishimoto, C. V. Ramamoorthy
   The C Information Abstraction System. [Citation Graph (1, 0)][DBLP]
   IEEE Trans. Software Eng., 1990, v:16, n:3, pp:325-334 [Journal]
   
8. Saumya K. Debray, David Scott Warren
   Towards Banishing the Cut from Prolog. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1990, v:16, n:3, pp:335-349 [Journal]
   
9. Victor F. Nicola, Ambuj Goyal
   Modeling of Correlated Failures and Community Error Recovery in Multiversion Software. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1990, v:16, n:3, pp:350-359 [Journal]
   
10. Jia Xu, David Lorge Parnas
    Scheduling Processes with Release Times, Deadlines, Precedence, and Exclusion Relations. [Citation Graph (3, 0)][DBLP]
    IEEE Trans. Software Eng., 1990, v:16, n:3, pp:360-369 [Journal]
    
11. Yutaka Hirakawa
    Comments on ``On the Projection Method for Protocol Verification''. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1990, v:16, n:3, pp:370-371 [Journal]