4. SIGSOFT FSE 1996: San Francisco, California, USA

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
  

Last update Wed Feb 15 05:18:03 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page