Journals in DBLP

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

1. Christopher Paul Gerrard, Derek Coleman, Robin M. Gallimore
   Formal Specification and Design Time Testing. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1990, v:16, n:1, pp:1-12 [Journal]
   
2. Guo-Jie Li, Benjamin W. Wah
   Computational Efficiency of Parallel Combinatorial OR-Tree Searches. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1990, v:16, n:1, pp:13-31 [Journal]
   
3. Elena Barcucci, Renzo Pinzani, Renzo Sprugnoli
   Optimal Selection of Secondary Indexes. [Citation Graph (3, 0)][DBLP]
   IEEE Trans. Software Eng., 1990, v:16, n:1, pp:32-38 [Journal]
   
4. Reg G. Willson, Bruce H. Krogh
   Petri Net Tools for the Specification and Analysis of Discrete Controllers. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1990, v:16, n:1, pp:39-50 [Journal]
   
5. Laura K. Dillon
   Verifying General Safety Properties of Ada Tasking Programs. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1990, v:16, n:1, pp:51-63 [Journal]
   
6. Graham C. Low, D. Ross Jeffery
   Function Points in the Estimation and Evaluation of the Software Process. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1990, v:16, n:1, pp:64-71 [Journal]
   
7. William E. Howden
   Comments Analysis and Programming Errors. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1990, v:16, n:1, pp:72-81 [Journal]
   
8. Ronald C. de Vries
   Reducing Null Messages in Misra's Distributed Discrete Event Simulation Method. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1990, v:16, n:1, pp:82-91 [Journal]
   
9. Surya B. Yadav
   Control and Definition Modularization: An Improved Software Design Technique for Organizing Programs. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1990, v:16, n:1, pp:92-99 [Journal]
   
10. Chung-Kuo Chang
    Bidding Against Competitors. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1990, v:16, n:1, pp:100-104 [Journal]