Journals in DBLP

IEEE Trans. Software Eng.
1994, volume: 20, number: 8

1. Ian Sommerville
   Introduction to the Special Issue. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1994, v:20, n:8, pp:546-547 [Journal]
   
2. Alberto Coen-Porisini, Richard A. Kemmerer, Dino Mandrioli
   A Formal Framework for ASTRAL Intralevel Proof Obligations. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1994, v:20, n:8, pp:548-561 [Journal]
   
3. David W. Bustard, Adam C. Winstanley
   Making Changes to Formal Specifications: Requirements and an Example. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1994, v:20, n:8, pp:562-568 [Journal]
   
4. Anthony Finkelstein, Dov M. Gabbay, Anthony Hunter, Jeff Kramer, Bashar Nuseibeh
   Inconsistency Handling in Multperspective Specifications. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1994, v:20, n:8, pp:569-578 [Journal]
   
5. Shing-Chi Cheung, Jeff Kramer
   Tractable Dataflow Analysis for Distributed Systems. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1994, v:20, n:8, pp:579-593 [Journal]
   
6. Alfred Aue, Michael Breu
   Distributed Information Systems: An Advanced Methodology. [Citation Graph (1, 0)][DBLP]
   IEEE Trans. Software Eng., 1994, v:20, n:8, pp:594-605 [Journal]
   
7. Flavio De Paoli, Francesco Tisato
   CSDL: A Language for Cooperative Systems Design. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1994, v:20, n:8, pp:606-616 [Journal]
   
8. William B. Frakes, Thomas P. Pole
   An Empirical Study of Representation Methods for Reusable Software Components. [Citation Graph (2, 0)][DBLP]
   IEEE Trans. Software Eng., 1994, v:20, n:8, pp:617-630 [Journal]
   
9. Bruce W. Weide, Stephen H. Edwards, Douglas E. Harms, David Alex Lamb
   Design and Specification of Iterators Using the Swapping Paradigm. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1994, v:20, n:8, pp:631-643 [Journal]
   
10. James M. Bieman, Linda M. Ott
    Measuring Functional Cohesion. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1994, v:20, n:8, pp:644-657 [Journal]
    
11. Ing-Ray Chen, Farokh B. Bastani
    Warm Standby in Hierarchically Structured Process-Control Programs. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1994, v:20, n:8, pp:658-663 [Journal]
    
12. Scott D. Stoller
    Addendum to ``Proof Rules for Flush Channels''. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1994, v:20, n:8, pp:664- [Journal]