Conferences in DBLP
C. A. R. Hoare Algebra and Models. [Citation Graph (0, 0)][DBLP ] SIGSOFT FSE, 1993, pp:1-8 [Conf ] 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 ] Robert Balzer , K. Narayanaswamy Mechanisms for Generic Process Support. [Citation Graph (0, 0)][DBLP ] SIGSOFT FSE, 1993, pp:21-32 [Conf ] 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 ] 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 ] 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 ] Jiazhen Cai , Robert Paige Towards Increased Productivity of Algorithm Implementation. [Citation Graph (0, 0)][DBLP ] SIGSOFT FSE, 1993, pp:71-78 [Conf ] 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 ] 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 ] Robyn R. Lutz Targeting Safety-Related Errors During Software Requirements Analysis. [Citation Graph (0, 0)][DBLP ] SIGSOFT FSE, 1993, pp:99-106 [Conf ] Lawrence G. Votta Does Every Inspection Need a Meeting? [Citation Graph (0, 0)][DBLP ] SIGSOFT FSE, 1993, pp:107-114 [Conf ] Shing-Chi Cheung , Jeff Kramer Enhancing Compositional Reachability Analysis with Context Constraints. [Citation Graph (0, 0)][DBLP ] SIGSOFT FSE, 1993, pp:115-125 [Conf ] 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 ] Russell Turpin A Logical Approach to Data Structures. [Citation Graph (0, 0)][DBLP ] SIGSOFT FSE, 1993, pp:138-148 [Conf ] Francesco Bergadano Test Case Generation by Means of Learning Techniques. [Citation Graph (0, 0)][DBLP ] SIGSOFT FSE, 1993, pp:149-162 [Conf ] David A. Gustafson , Joo T. Tan , Perla Weaver Software Measure Specification. [Citation Graph (0, 0)][DBLP ] SIGSOFT FSE, 1993, pp:163-168 [Conf ] Andy Podgurski , Charles Yang Partition testing, stratified sampling, and cluster analysis. [Citation Graph (0, 0)][DBLP ] SIGSOFT FSE, 1993, pp:169-181 [Conf ] Amy Moormann Zaremski , Jeannette M. Wing Signature Matching: A Key to Reuse. [Citation Graph (0, 0)][DBLP ] SIGSOFT FSE, 1993, pp:182-190 [Conf ] Don S. Batory , Vivek Singhal , Marty Sirkin , Jeff Thomas Scalable Software Libraries. [Citation Graph (0, 0)][DBLP ] SIGSOFT FSE, 1993, pp:191-199 [Conf ]