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
Copyright © Sat May 16 23:41:18 2009
by Michael Ley (ley@uni-trier.de)
