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
- David Garlan:
Software Architecture: Next Steps Towards an Engineering Discipline for Software Systems Design (Panel).
5
Papers
- Amy Moormann Zaremski, Jeannette M. Wing:
Specification Matching of Software Components.
6-17
- Gail C. Murphy, David Notkin, Kevin J. Sullivan:
Software Reflexion Models: Bridging the Gap Between Source and High-Level Models.
18-28
- Rajiv Gupta, Mary Lou Soffa:
Hybrid Slicing: An Approach for Refining Static Slices Using Dynamic Information.
29-40
- Thomas W. Reps, Genevieve Rosay:
Precise Interprocedural Chopping.
41-52
- Daniel Hoffman, Paul A. Strooper:
State Abstraction and Modular Software Development.
53-61
- Alan Fekete:
Liveness Conditions in Model-Based Service Specifications: A Case Study.
62-71
- José Luiz Fiadeiro, T. S. E. Maibaum:
Interconnecting Formalisms: Supporting Modularity, Reuse and Incrementality.
72-80
- Elaine J. Weyuker:
Using the Consequence of Failures for Testing and Reliability Assessment.
81-91
- 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
- Susan Horwitz, Thomas W. Reps, Shmuel Sagiv:
Demand Interprocedural Dataflow Analysis.
104-115
- Gail C. Murphy, David Notkin:
Lightweight Source Model Extraction.
116-127
- Jeannette M. Wing, Mandana Vaziri:
Model Checking Software Systems: A Case Study.
128-139
- Shing-Chi Cheung, Jeff Kramer:
Compositional Reachability Analysis of Finite-State Distributed Systems with User-Specified Constraints.
140-150
- Andreas Zeller:
A Unified Version Model for Configuration Management.
151-160
- Alan Kaplan, Jack C. Wileden:
Formalization and Application of a Unifying Model for Name Management.
161-172
Last update Wed Feb 15 05:18:03 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
