Conferences in DBLP

Foundations of Software Engineering (SIGSOFT FSE) (sigsoft)
1994 ()

1. Daniel Jackson, Eugene J. Rollins
   A New Model of Program Dependences for Reverse Engineering. [Citation Graph (0, 0)][DBLP]
   SIGSOFT FSE, 1994, pp:2-10 [Conf]
   
2. Thomas W. Reps, Susan Horwitz, Shmuel Sagiv, Genevieve Rosay
   Speeding up Slicing. [Citation Graph (0, 0)][DBLP]
   SIGSOFT FSE, 1994, pp:11-20 [Conf]
   
3. Vahid Mashayekhi, Chris Feulner, John Riedl
   CAIS: Collaborative Asynchronous Inspection of Software. [Citation Graph (0, 0)][DBLP]
   SIGSOFT FSE, 1994, pp:21-34 [Conf]
   
4. Gérard Cécé, Alain Finkel, S. Purushothaman Iyer
   Duplication, Insertion and Lossiness Errors in Unreliable Communication Channels. [Citation Graph (0, 0)][DBLP]
   SIGSOFT FSE, 1994, pp:35-43 [Conf]
   
5. Gregory D. Abowd, Alan J. Dix
   Integrating Status and Event Phenomena in Formal Specifications of Interactive Systems. [Citation Graph (0, 0)][DBLP]
   SIGSOFT FSE, 1994, pp:44-52 [Conf]
   
6. James C. Corbett, George S. Avrunin
   Towards Scalable Compositional Analysis. [Citation Graph (0, 0)][DBLP]
   SIGSOFT FSE, 1994, pp:53-61 [Conf]
   
7. Matthew B. Dwyer, Lori A. Clarke
   Data Flow Analysis for Verifying Properties of Concurrent Programs. [Citation Graph (0, 0)][DBLP]
   SIGSOFT FSE, 1994, pp:62-75 [Conf]
   
8. Nicole Lévy, G. Smith
   A Language-Independent Approach to Specification Construction. [Citation Graph (0, 0)][DBLP]
   SIGSOFT FSE, 1994, pp:76-86 [Conf]
   
9. David Evans, John V. Guttag, James J. Horning, Yang Meng Tan
   LCLint: A Tool for Using Specifications to Check Code. [Citation Graph (0, 0)][DBLP]
   SIGSOFT FSE, 1994, pp:87-96 [Conf]
   
10. Robert W. Bowdidge, William G. Griswold
    Automated Support for Encapsulating Abstract Data Types. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1994, pp:97-110 [Conf]
    
11. Don S. Batory, Jeff Thomas, Marty Sirkin
    Reengineering a Complex Application Using a Scalable Data Structure Compiler. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1994, pp:111-120 [Conf]
    
12. Mark T. Vandevoorde, John V. Guttag
    Using Specialized Procedures and Specification-Based Analysis to Reduce the Runtime Costs of Modularity. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1994, pp:121-127 [Conf]
    
13. Richard G. Hamlet
    Foundations of Software Testing: Dependability Theory. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1994, pp:128-139 [Conf]
    
14. Laura K. Dillon, Qing Yu
    Oracles for Checking Temporal Properties of Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1994, pp:140-153 [Conf]
    
15. Mary Jean Harrold, Gregg Rothermel
    Performing Data Flow Testing on Classes. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1994, pp:154-163 [Conf]
    
16. Mark Moriconi, Xiaolei Qian
    Correctness and Composition of Software Architectures. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1994, pp:164-174 [Conf]
    
17. David Garlan, Robert Allen, John Ockerbloom
    Exploiting Style in Architectural Design Environments. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1994, pp:175-188 [Conf]