Journals in DBLP

IEEE Trans. Software Eng.
1985, volume: 11, number: 8

1. Valdis Berzins, Michael Gray
   Analysis and Design in MSG.84: Formalizing Functional Specifications. [Citation Graph (1, 0)][DBLP]
   IEEE Trans. Software Eng., 1985, v:11, n:8, pp:657-670 [Journal]
   
2. Uli H. Chi
   Formal Specification of User Interfaces: A Comparison and Evaluation of Four Axiomatic Approaches. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1985, v:11, n:8, pp:671-685 [Journal]
   
3. Leonard J. Bass
   An Approach to User Specification of Interactive Display Interfaces. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1985, v:11, n:8, pp:686-698 [Journal]
   
4. Anthony I. Wasserman
   Extending State Transition Diagrams for the Specification of Human-Computer Interaction. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1985, v:11, n:8, pp:699-713 [Journal]
   
5. Jason Gait
   An Aspect of Aesthetics in Human-Computer Communications: Pretty Windows. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1985, v:11, n:8, pp:714-717 [Journal]
   
6. Farokh B. Bastani
   Experiences with a Feedback Version Development Methodology. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1985, v:11, n:8, pp:718-723 [Journal]
   
7. Shi-Kuo Chang, Wu-Lung Chan
   Transformation and Verification of Office Procedures. [Citation Graph (2, 0)][DBLP]
   IEEE Trans. Software Eng., 1985, v:11, n:8, pp:724-734 [Journal]
   
8. Ali Mili
   Towards a Theory of Forward Error Recovery. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1985, v:11, n:8, pp:735-748 [Journal]
   
9. David H. Hutchens, Victor R. Basili
   System Structure Analysis: Clustering with Data Bindings. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1985, v:11, n:8, pp:749-757 [Journal]
   
10. Armen Gabrielian, Lawrence McNamee, David J. Trawick
    The Qualified Function Approach to Analysis of Program Behavior and Performance. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1985, v:11, n:8, pp:758-773 [Journal]
    
11. Krithi Ramamritham
    Synthesizing Code for Resource Controllers. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1985, v:11, n:8, pp:774-783 [Journal]
    
12. Vincenzo Ambriola, Fosca Giannotti, Dino Pedreschi, Franco Turini
    Symbolic Semantics and Program Reduction. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1985, v:11, n:8, pp:784-794 [Journal]
    
13. Clement T. Yu, C. C. Chang, Marjorie Templeton, David Brill, Eric Lund
    Query Processing in a Fragmented Relational Distributed System: Mermaid. [Citation Graph (12, 0)][DBLP]
    IEEE Trans. Software Eng., 1985, v:11, n:8, pp:795-810 [Journal]
    
14. Shi-Kuo Chang, Erland Jungert, Stefano Levialdi, Genoveffa Tortora, Tadao Ichikawa
    An Image Processing Language with Icon-Assisted Navigation. [Citation Graph (1, 0)][DBLP]
    IEEE Trans. Software Eng., 1985, v:11, n:8, pp:811-819 [Journal]
    
15. Gene T. J. Wuu, Arthur J. Bernstein
    False Deadlock Detection in Distributed Systems. [Citation Graph (3, 0)][DBLP]
    IEEE Trans. Software Eng., 1985, v:11, n:8, pp:820-821 [Journal]
    
16. Mohammad G. Khayat, W. S. Breger, M. Freiling, Ted G. Lewis
    Correction to "A Concurrency Measure". [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1985, v:11, n:8, pp:822- [Journal]
    
17. Edward H. Bersoff
    Comments on "Elements of Software Configuration Management". [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1985, v:11, n:8, pp:822- [Journal]