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

Michael Jackson:
Problems, Methods, and Structures (Abstract). 1
Electronic Edition (ACM DL) BibTeX
Henry Petroski:
Engineering Bridges: From Concept to Reality (Abstract). 1
Electronic Edition (ACM DL) BibTeX
Eberhardt Rechtin:
Software Systems Architecting (Abstract). 1
Electronic Edition (ACM DL) BibTeX

Panels

Gregor Kiczales:
What Can Programming Languages Contribute to Software Engineering, and Vice Versa? (Panel). 2
Electronic Edition (ACM DL) BibTeX
Barry W. Boehm:
Industrial Priorities for Software Engineering Research (Panel). 2
Electronic Edition (ACM DL) BibTeX

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