Abstract is missing.
- Problems, Methods, and Structures (Abstract)Michael Jackson. 1 [doi]
- What Can Programming Languages Contribute to Software Engineering, and Vice Versa? (Panel)Gregor Kiczales. 2 [doi]
- Industrial Priorities for Software Engineering Research (Panel)Barry W. Boehm. 2 [doi]
- Dynamic Structure in Software ArchitecturesJeff Magee, Jeff Kramer. 3-14 [doi]
- Software Architecture Styles as Graph GrammarsDaniel Le Métayer. 15-23 [doi]
- Using Object-Oriented Typing to Support Architectural Design in the C2 StyleNenad Medvidovic, Peyman Oreizy, Jason E. Robbins, Richard N. Taylor. 24-32 [doi]
- Tool Support for Planning the Restructuring of Data Abstractions in Large SystemsWilliam G. Griswold, Morison I. Chen, Robert W. Bowdidge, J. David Morgenthaler. 33-45 [doi]
- Evolution of Object Behavior Using Context RelationsLinda M. Seiter, Jens Palsberg, Karl J. Lieberherr. 46-57 [doi]
- Decoupling Change from DesignMichael VanHilst, David Notkin. 58-69 [doi]
- Checking Relational Specifications With Binary Decision DiagramsCraig Damon, Daniel Jackson, Somesh Jha. 70-80 [doi]
- Program Decomposition for Pointer Aliasing: A Step Toward Practical AnalysesSean Zhang, Barbara G. Ryder, William Landi. 81-92 [doi]
- Verification of Communication Protocols Using Data Flow AnalysisGleb Naumovich, Lori A. Clarke, Leon J. Osterweil. 93-105 [doi]
- Generating Oracles from Your Favorite Temporal Logic SpecificationsLaura K. Dillon, Y. S. Ramakrishna. 106-117 [doi]
- Predicting the Cost-Effectiveness of Regression Testing StrategiesDavid S. Rosenblum, Elaine J. Weyuker. 118-126 [doi]
- Program Generalization for Software Reuse: From C to C++Michael Siff, Thomas W. Reps. 135-146 [doi]
- Automated Support for Seamless Interoperability in Polylingual Software SystemsDaniel J. Barrett, Alan Kaplan, Jack C. Wileden. 147-155 [doi]
- Model Checking Large Software SpecificationsRichard J. Anderson, Paul Beame, Steve Burns, William Chan, Francesmary Modugno, David Notkin, Jon Damon Reese. 156-166 [doi]
- Abstracting Dependencies between Software Configuration ItemsCarl A. Gunter. 167-178 [doi]
- Formal Refinement Patterns for Goal-Driven Requirements ElaborationRobert Darimont, Axel van Lamsweerde. 179-190 [doi]