FSE 1995

17 papers

1. A Unified Version Model for Configuration Management · Andreas Zeller
2. An Experiment to Assess the Cost-Benefits of Code Inspections in Large Scale Software Development · Adam A. Porter, Harvey P. Siy, Carol A. Toman, Lawrence G. Votta
3. Compositional Reachability Analysis of Finite-State Distributed Systems with User-Specified Constraints · Shing-Chi Cheung, Jeff Kramer
4. Demand Interprocedural Dataflow Analysis · Susan Horwitz, Thomas W. Reps, Shmuel Sagiv
5. Feature Interactions in the Global Information Infrastructure (Panel) · Alfred V. Aho, Nancy D. Griffeth
6. Formalization and Application of a Unifying Model for Name Management · Alan Kaplan, Jack C. Wileden
7. Hybrid Slicing: An Approach for Refining Static Slices Using Dynamic Information · Rajiv Gupta, Mary Lou Soffa
8. Interconnecting Formalisms: Supporting Modularity, Reuse and Incrementality · José Luiz Fiadeiro, T. S. E. Maibaum
9. Lightweight Source Model Extraction · Gail C. Murphy, David Notkin
10. Liveness Conditions in Model-Based Service Specifications: A Case Study · Alan D. Fekete
11. Model Checking Software Systems: A Case Study · Jeannette M. Wing, Mandana Vaziri
12. Precise Interprocedural Chopping · Thomas W. Reps, Genevieve Rosay
13. Software Architecture: Next Steps Towards an Engineering Discipline for Software Systems Design (Panel) · David Garlan
14. Software Reflexion Models: Bridging the Gap Between Source and High-Level Models · Gail C. Murphy, David Notkin, Kevin J. Sullivan
15. Specification Matching of Software Components · Amy Moormann Zaremski, Jeannette M. Wing
16. State Abstraction and Modular Software Development · Daniel Hoffman, Paul A. Strooper
17. Using the Consequence of Failures for Testing and Reliability Assessment · Elaine J. Weyuker