3. SIGSOFT FSE 1995: Washington, DC, USA

Gail E. Kaiser (Ed.): SIGSOFT '95, Proceedings of the Third ACM SIGSOFT Symposium on Foundations of Software Engineering, Washington, DC, USA, October 10-13, 1995. ACM SIGSOFT Software Engineering Notes 20(4), October 1995

Panels

Alfred V. Aho, Nancy D. Griffeth:
Feature Interactions in the Global Information Infrastructure (Panel). 2-4
Electronic Edition (ACM DL) BibTeX
David Garlan:
Software Architecture: Next Steps Towards an Engineering Discipline for Software Systems Design (Panel). 5
Electronic Edition (ACM DL) BibTeX

Papers

Amy Moormann Zaremski, Jeannette M. Wing:
Specification Matching of Software Components. 6-17
Electronic Edition (ACM DL) BibTeX
Gail C. Murphy, David Notkin, Kevin J. Sullivan:
Software Reflexion Models: Bridging the Gap Between Source and High-Level Models. 18-28
Electronic Edition (ACM DL) BibTeX
Rajiv Gupta, Mary Lou Soffa:
Hybrid Slicing: An Approach for Refining Static Slices Using Dynamic Information. 29-40
Electronic Edition (ACM DL) BibTeX
Thomas W. Reps, Genevieve Rosay:
Precise Interprocedural Chopping. 41-52
Electronic Edition (ACM DL) BibTeX
Daniel Hoffman, Paul A. Strooper:
State Abstraction and Modular Software Development. 53-61
Electronic Edition (ACM DL) BibTeX
Alan Fekete:
Liveness Conditions in Model-Based Service Specifications: A Case Study. 62-71
Electronic Edition (ACM DL) BibTeX
José Luiz Fiadeiro, T. S. E. Maibaum:
Interconnecting Formalisms: Supporting Modularity, Reuse and Incrementality. 72-80
Electronic Edition (ACM DL) BibTeX
Elaine J. Weyuker:
Using the Consequence of Failures for Testing and Reliability Assessment. 81-91
Electronic Edition (ACM DL) BibTeX
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. 92-103
Electronic Edition (ACM DL) BibTeX
Susan Horwitz, Thomas W. Reps, Shmuel Sagiv:
Demand Interprocedural Dataflow Analysis. 104-115
Electronic Edition (ACM DL) BibTeX
Gail C. Murphy, David Notkin:
Lightweight Source Model Extraction. 116-127
Electronic Edition (ACM DL) BibTeX
Jeannette M. Wing, Mandana Vaziri:
Model Checking Software Systems: A Case Study. 128-139
Electronic Edition (ACM DL) BibTeX
Shing-Chi Cheung, Jeff Kramer:
Compositional Reachability Analysis of Finite-State Distributed Systems with User-Specified Constraints. 140-150
Electronic Edition (ACM DL) BibTeX
Andreas Zeller:
A Unified Version Model for Configuration Management. 151-160
Electronic Edition (ACM DL) BibTeX
Alan Kaplan, Jack C. Wileden:
Formalization and Application of a Unifying Model for Name Management. 161-172
Electronic Edition (ACM DL) BibTeX