Journals in DBLP

IEEE Trans. Software Eng.
1987, volume: 13, number: 6

1. Steven P. Reiss
   Automatic Compiler Production: The Front End. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1987, v:13, n:6, pp:609-627 [Journal]
   
2. Kay-Ulrich Felgentreu, Wolfram-Manfred Lippe, Friedemann H. Simon
   Optimizing Static Scope Lisp by Repetitive Interpretation of Recursive Function Calls. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1987, v:13, n:6, pp:628-635 [Journal]
   
3. F. Warren Burton, Dieter Maurer, Hans-Georg Oberhauser, Reinhard Wilhelm
   A Space-Efficient Optimization of Call-by-Need. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1987, v:13, n:6, pp:636-642 [Journal]
   
4. Sajal K. Das, V. K. Agrawal, Dilip Sarkar, Lalit M. Patnaik, P. S. Goel
   Reflexive Incidence Matrix (RIM) Representation of Petri Nets. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1987, v:13, n:6, pp:643-653 [Journal]
   
5. Rajive Bagrodia, K. Mani Chandy, Jayadev Misra
   A Message-Based Approach to Discrete-Event Simulation. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1987, v:13, n:6, pp:654-665 [Journal]
   
6. Roger D. Schultz, Alfonso F. Cardenas
   An Approach and Mechanism for Auditable and Testable Advanced Transaction Processing Systems. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1987, v:13, n:6, pp:666-676 [Journal]
   
7. Robert P. Roe, John H. Rowland
   Some Theory Concerning Certification of Mathematical Subroutines by Black Box Testing. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1987, v:13, n:6, pp:677-682 [Journal]
   
8. Gerard J. Holzmann
   Automated Protocol Validation in Argos: Assertion Proving and Scatter Searching. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1987, v:13, n:6, pp:683-696 [Journal]
   
9. H. F. Li, W. K. Cheung
   An Empirical Study of Software Metrics. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1987, v:13, n:6, pp:697-708 [Journal]
   
10. S. Bing Yao, Alan R. Hevner, Hélène Young-Myers
    Analysis of Database System Architectures Using Benchmarks. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1987, v:13, n:6, pp:709-725 [Journal]
    
11. Chuan-Qi Zhu, Pen-Chung Yew
    A Scheme to Enforce Data Dependence on Large Multiprocessor Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1987, v:13, n:6, pp:726-739 [Journal]
    
12. S. Purushothaman, P. A. Subrahmanyam
    Reasoning About Probabilistic Behavior in Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1987, v:13, n:6, pp:740-745 [Journal]
    
13. Michael J. Carey
    Improving the Performance of an Optimistic Concurrency Control Algorithm Through Timestamps and Versions. [Citation Graph (2, 0)][DBLP]
    IEEE Trans. Software Eng., 1987, v:13, n:6, pp:746-760 [Journal]