![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
4th SIGSOFT FSE 1996: San Francisco, California, USA
- David Garlan:
Proceedings of the Fourth ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT1996, San Francisco, California, USA, October 16-18, 1996. ACM 1996, ISBN 978-0-89791-797-1
ACM SIGSOFT Software Engineering Notes 21(6), November 1996
Keynote Addresses
- Michael Jackson:
Problems, Methods, and Structures (Abstract). 1 - Henry Petroski:
Engineering Bridges: From Concept to Reality (Abstract). 1 - Eberhardt Rechtin:
Software Systems Architecting (Abstract). 1
Panels
- Gregor Kiczales:
What Can Programming Languages Contribute to Software Engineering, and Vice Versa? (Panel). 2 - Barry W. Boehm:
Industrial Priorities for Software Engineering Research (Panel). 2
Papers
- Jeff Magee, Jeff Kramer:
Dynamic Structure in Software Architectures. 3-14 - Daniel Le Métayer:
Software Architecture Styles as Graph Grammars. 15-23 - Nenad Medvidovic, Peyman Oreizy, Jason E. Robbins, Richard N. Taylor:
Using Object-Oriented Typing to Support Architectural Design in the C2 Style. 24-32 - 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 - Linda M. Seiter, Jens Palsberg, Karl J. Lieberherr:
Evolution of Object Behavior Using Context Relations. 46-57 - Michael VanHilst, David Notkin:
Decoupling Change from Design. 58-69 - Craig Damon, Daniel Jackson, Somesh Jha:
Checking Relational Specifications With Binary Decision Diagrams. 70-80 - Sean Zhang, Barbara G. Ryder, William Landi:
Program Decomposition for Pointer Aliasing: A Step Toward Practical Analyses. 81-92 - Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil:
Verification of Communication Protocols Using Data Flow Analysis. 93-105 - Laura K. Dillon, Y. S. Ramakrishna:
Generating Oracles from Your Favorite Temporal Logic Specifications. 106-117 - David S. Rosenblum, Elaine J. Weyuker:
Predicting the Cost-Effectiveness of Regression Testing Strategies. 118-126 - Ioannis Parissis, Farid Ouabdesselam:
Specification-based Testing of Synchronous Software. 127-134 - Michael Siff, Thomas W. Reps:
Program Generalization for Software Reuse: From C to C++. 135-146 - Daniel J. Barrett, Alan Kaplan, Jack C. Wileden:
Automated Support for Seamless Interoperability in Polylingual Software Systems. 147-155 - Richard J. Anderson, Paul Beame, Steve Burns, William Chan, Francesmary Modugno, David Notkin, Jon Damon Reese:
Model Checking Large Software Specifications. 156-166 - Carl A. Gunter:
Abstracting Dependencies between Software Configuration Items. 167-178 - Robert Darimont, Axel van Lamsweerde:
Formal Refinement Patterns for Goal-Driven Requirements Elaboration. 179-190
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.