Conferences in DBLP

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

1. Alfred V. Aho, Nancy D. Griffeth
   Feature Interactions in the Global Information Infrastructure (Panel). [Citation Graph (0, 0)][DBLP]
   SIGSOFT FSE, 1995, pp:2-4 [Conf]
   
2. David Garlan
   Software Architecture: Next Steps Towards an Engineering Discipline for Software Systems Design (Panel). [Citation Graph (0, 0)][DBLP]
   SIGSOFT FSE, 1995, pp:5- [Conf]
   
3. Amy Moormann Zaremski, Jeannette M. Wing
   Specification Matching of Software Components. [Citation Graph (1, 0)][DBLP]
   SIGSOFT FSE, 1995, pp:6-17 [Conf]
   
4. Gail C. Murphy, David Notkin, Kevin J. Sullivan
   Software Reflexion Models: Bridging the Gap Between Source and High-Level Models. [Citation Graph (0, 0)][DBLP]
   SIGSOFT FSE, 1995, pp:18-28 [Conf]
   
5. Rajiv Gupta, Mary Lou Soffa
   Hybrid Slicing: An Approach for Refining Static Slices Using Dynamic Information. [Citation Graph (0, 0)][DBLP]
   SIGSOFT FSE, 1995, pp:29-40 [Conf]
   
6. Thomas W. Reps, Genevieve Rosay
   Precise Interprocedural Chopping. [Citation Graph (0, 0)][DBLP]
   SIGSOFT FSE, 1995, pp:41-52 [Conf]
   
7. Daniel Hoffman, Paul A. Strooper
   State Abstraction and Modular Software Development. [Citation Graph (0, 0)][DBLP]
   SIGSOFT FSE, 1995, pp:53-61 [Conf]
   
8. Alan Fekete
   Liveness Conditions in Model-Based Service Specifications: A Case Study. [Citation Graph (0, 0)][DBLP]
   SIGSOFT FSE, 1995, pp:62-71 [Conf]
   
9. José Luiz Fiadeiro, T. S. E. Maibaum
   Interconnecting Formalisms: Supporting Modularity, Reuse and Incrementality. [Citation Graph (0, 0)][DBLP]
   SIGSOFT FSE, 1995, pp:72-80 [Conf]
   
10. Elaine J. Weyuker
    Using the Consequence of Failures for Testing and Reliability Assessment. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1995, pp:81-91 [Conf]
    
11. Adam A. Porter, Harvey P. Siy, Carol A. Toman, Lawrence G. Votta
    An Experiment to Assess the Cost-Benefits of Code Inspections in Large Scale Software Development. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1995, pp:92-103 [Conf]
    
12. Susan Horwitz, Thomas W. Reps, Shmuel Sagiv
    Demand Interprocedural Dataflow Analysis. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1995, pp:104-115 [Conf]
    
13. Gail C. Murphy, David Notkin
    Lightweight Source Model Extraction. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1995, pp:116-127 [Conf]
    
14. Jeannette M. Wing, Mandana Vaziri
    Model Checking Software Systems: A Case Study. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1995, pp:128-139 [Conf]
    
15. Shing-Chi Cheung, Jeff Kramer
    Compositional Reachability Analysis of Finite-State Distributed Systems with User-Specified Constraints. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1995, pp:140-150 [Conf]
    
16. Andreas Zeller
    A Unified Version Model for Configuration Management. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1995, pp:151-160 [Conf]
    
17. Alan Kaplan, Jack C. Wileden
    Formalization and Application of a Unifying Model for Name Management. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1995, pp:161-172 [Conf]