1. SIGSOFT FSE 1993: Los Angeles, California, USA

David Notkin (Ed.): SIGSOFT '93, Proceedings of the First ACM SIGSOFT Symposium on Foundations of Software Engineering, Los Angeles, California, USA, December 7-10, 1993. ACM SIGSOFT Software Engineering Notes 18(5), December 1993

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