Conferences in DBLP

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

1. C. A. R. Hoare
   Algebra and Models. [Citation Graph (0, 0)][DBLP]
   SIGSOFT FSE, 1993, pp:1-8 [Conf]
   
2. Gregory D. Abowd, Robert Allen, David Garlan
   Using Style to Understand Descriptions of Software Architecture. [Citation Graph (0, 0)][DBLP]
   SIGSOFT FSE, 1993, pp:9-20 [Conf]
   
3. Robert Balzer, K. Narayanaswamy
   Mechanisms for Generic Process Support. [Citation Graph (0, 0)][DBLP]
   SIGSOFT FSE, 1993, pp:21-32 [Conf]
   
4. Boris Magnusson, Ulf Asklund, Sten Minör
   Fine-Grained Revision Control for Collaborative Software Development. [Citation Graph (0, 0)][DBLP]
   SIGSOFT FSE, 1993, pp:33-41 [Conf]
   
5. William G. Griswold
   Direct Update of Data Flow Representations for a Meaning-Preserving Program Restructuring Tool. [Citation Graph (0, 0)][DBLP]
   SIGSOFT FSE, 1993, pp:42-55 [Conf]
   
6. Peri L. Tarr, Lori A. Clarke
   PLEIADES: An Object Management System for Software Engineering Environments. [Citation Graph (0, 0)][DBLP]
   SIGSOFT FSE, 1993, pp:56-70 [Conf]
   
7. Jiazhen Cai, Robert Paige
   Towards Increased Productivity of Algorithm Implementation. [Citation Graph (0, 0)][DBLP]
   SIGSOFT FSE, 1993, pp:71-78 [Conf]
   
8. Kenneth R. Wood
   A Practical Approach to Software Engineering Using Z and the Refinement Calculus. [Citation Graph (0, 0)][DBLP]
   SIGSOFT FSE, 1993, pp:79-88 [Conf]
   
9. David A. Carrington, David J. Duke, Ian J. Hayes, Jim Welsh
   Deriving Modular Designs from Formal Specifications. [Citation Graph (0, 0)][DBLP]
   SIGSOFT FSE, 1993, pp:89-98 [Conf]
   
10. Robyn R. Lutz
    Targeting Safety-Related Errors During Software Requirements Analysis. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1993, pp:99-106 [Conf]
    
11. Lawrence G. Votta
    Does Every Inspection Need a Meeting? [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1993, pp:107-114 [Conf]
    
12. Shing-Chi Cheung, Jeff Kramer
    Enhancing Compositional Reachability Analysis with Context Constraints. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1993, pp:115-125 [Conf]
    
13. Jean Paul Bahsoun, Stephan Merz, Corinne Servieres
    A Framework for Programming and Formalizing Concurrent Objects. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1993, pp:126-137 [Conf]
    
14. Russell Turpin
    A Logical Approach to Data Structures. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1993, pp:138-148 [Conf]
    
15. Francesco Bergadano
    Test Case Generation by Means of Learning Techniques. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1993, pp:149-162 [Conf]
    
16. David A. Gustafson, Joo T. Tan, Perla Weaver
    Software Measure Specification. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1993, pp:163-168 [Conf]
    
17. Andy Podgurski, Charles Yang
    Partition testing, stratified sampling, and cluster analysis. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1993, pp:169-181 [Conf]
    
18. Amy Moormann Zaremski, Jeannette M. Wing
    Signature Matching: A Key to Reuse. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1993, pp:182-190 [Conf]
    
19. Don S. Batory, Vivek Singhal, Marty Sirkin, Jeff Thomas
    Scalable Software Libraries. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1993, pp:191-199 [Conf]