4. SIGSOFT FSE 1996:
San Francisco,
California,
USA
David Garlan (Ed.):
SIGSOFT '96,
Proceedings of the Fourth ACM SIGSOFT Symposium on Foundations of Software Engineering,
San Francisco,
California,
USA,
October 16-18,
1996. ACM SIGSOFT Software Engineering Notes 21(6),
November 1996
Keynote Addresses
Panels
Papers
- Jeff Magee, Jeff Kramer:
Dynamic Structure in Software Architectures.
3-14
Electronic Edition (ACM DL) BibTeX
- Daniel Le Métayer:
Software Architecture Styles as Graph Grammars.
15-23
Electronic Edition (ACM DL) BibTeX
- Nenad Medvidovic, Peyman Oreizy, Jason E. Robbins, Richard N. Taylor:
Using Object-Oriented Typing to Support Architectural Design in the C2 Style.
24-32
Electronic Edition (ACM DL) BibTeX
- William G. Griswold, Morison I. Chen, Robert W. Bowdidge, J. David Morgenthaler:
Tool Support for Planning the Restructuring of Data Abstractions in Large Systems.
33-45
Electronic Edition (ACM DL) BibTeX
- Linda M. Seiter, Jens Palsberg, Karl J. Lieberherr:
Evolution of Object Behavior Using Context Relations.
46-57
Electronic Edition (ACM DL) BibTeX
- Michael VanHilst, David Notkin:
Decoupling Change from Design.
58-69
Electronic Edition (ACM DL) BibTeX
- Craig Damon, Daniel Jackson, Somesh Jha:
Checking Relational Specifications With Binary Decision Diagrams.
70-80
Electronic Edition (ACM DL) BibTeX
- Sean Zhang, Barbara G. Ryder, William Landi:
Program Decomposition for Pointer Aliasing: A Step Toward Practical Analyses.
81-92
Electronic Edition (ACM DL) BibTeX
- Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil:
Verification of Communication Protocols Using Data Flow Analysis.
93-105
Electronic Edition (ACM DL) BibTeX
- Laura K. Dillon, Y. S. Ramakrishna:
Generating Oracles from Your Favorite Temporal Logic Specifications.
106-117
Electronic Edition (ACM DL) BibTeX
- David S. Rosenblum, Elaine J. Weyuker:
Predicting the Cost-Effectiveness of Regression Testing Strategies.
118-126
Electronic Edition (ACM DL) BibTeX
- Ioannis Parissis, Farid Ouabdesselam:
Specification-based Testing of Synchronous Software.
127-134
Electronic Edition (ACM DL) BibTeX
- Michael Siff, Thomas W. Reps:
Program Generalization for Software Reuse: From C to C++.
135-146
Electronic Edition (ACM DL) BibTeX
- Daniel J. Barrett, Alan Kaplan, Jack C. Wileden:
Automated Support for Seamless Interoperability in Polylingual Software Systems.
147-155
Electronic Edition (ACM DL) BibTeX
- Richard J. Anderson, Paul Beame, Steve Burns, William Chan, Francesmary Modugno, David Notkin, Jon Damon Reese:
Model Checking Large Software Specifications.
156-166
Electronic Edition (ACM DL) BibTeX
- Carl A. Gunter:
Abstracting Dependencies between Software Configuration Items.
167-178
Electronic Edition (ACM DL) BibTeX
- Robert Darimont, Axel van Lamsweerde:
Formal Refinement Patterns for Goal-Driven Requirements Elaboration.
179-190
Electronic Edition (ACM DL) BibTeX
Copyright © Sat May 16 23:41:18 2009
by Michael Ley (ley@uni-trier.de)