Journals in DBLP

IEEE Trans. Software Eng.
1993, volume: 19, number: 5

1. Takeshige Miyoshi, Motoei Azuma
   An Empirical Study of Evaluating Software Development Environment Quality. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1993, v:19, n:5, pp:425-435 [Journal]
   
2. Valdis Berzins, Luqi, Amiram Yehudai
   Using Transformations in Specification-Based Prototyping. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1993, v:19, n:5, pp:436-452 [Journal]
   
3. Robert E. Strom, Daniel M. Yellin
   Extending Typestate Checking Using Conditional Liveness Analysis. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1993, v:19, n:5, pp:478-485 [Journal]
   
4. Giuseppe Iazeolla, Francesco Marinuzzi
   LISPACK-A Methodology and Tool for the Performance Analysis of Parallel Systems and Algorithms. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1993, v:19, n:5, pp:486-502 [Journal]
   
5. Mark G. Staskauskas
   Formal Derivation of Concurrent Programs: An Example from Industry. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1993, v:19, n:5, pp:503-528 [Journal]
   
6. D. Ross Jeffery, Graham C. Low, M. Barnes
   A Comparison of Function Point Counting Techniques. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1993, v:19, n:5, pp:529-532 [Journal]
   
7. Bernd J. Krämer, Luqi, Valdis Berzins
   Compositional Semantics of a Real-Time Prototyping Language. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1993, v:19, n:5, pp:543-477 [Journal]