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
: Software Architecture: Next Steps Towards an Engineering Discipline for Software Systems Design (Panel).
: Liveness Conditions in Model-Based Service Specifications: A Case Study.
Elaine J. Weyuker
: Using the Consequence of Failures for Testing and Reliability Assessment.
, Jeff Kramer
: Compositional Reachability Analysis of Finite-State Distributed Systems with User-Specified Constraints.
: A Unified Version Model for Configuration Management.