David Garlan
Proceedings of the Fourth Symposium on Foundations of Software Engineering
FSE, 1996.

@proceedings{FSE-1996,
	address       = "San Francisco, California, USA",
	editor        = "David Garlan",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Fourth Symposium on Foundations of Software Engineering}",
	year          = 1996,
}

Contents (20 items)

4 ×#architecture
3 ×#specification
3 ×#using
2 ×#analysis
2 ×#design
2 ×#scalability
2 ×#testing

FSE-1996-Jackson #problem

Problems, Methods, and Structures (MJ), p. 1.

FSE-1996-Petroski #concept

Engineering Bridges: From Concept to Reality (HP), p. 1.

FSE-1996-Rechtin #architecture

Software Systems Architecting (ER), p. 1.

FSE-1996-MageeK #architecture

Dynamic Structure in Software Architectures (JM, JK), pp. 3–14.

FSE-1996-Metayer #architecture #graph grammar

Software Architecture Styles as Graph Grammars (DLM), pp. 15–23.

FSE-1996-MedvidovicORT #architecture #design #object-oriented #type system #using

Using Object-Oriented Typing to Support Architectural Design in the C2 Style (NM, PO, JER, RNT), pp. 24–32.

FSE-1996-GriswoldCBM #abstraction #scalability #tool support

Tool Support for Planning the Restructuring of Data Abstractions in Large Systems (WGG, MIC, RWB, JDM), pp. 33–45.

FSE-1996-SeiterPL #behaviour #evolution #using

Evolution of Object Behavior Using Context Relations (LMS, JP, KJL), pp. 46–57.

FSE-1996-VanHilstN #design

Decoupling Change from Design (MVH, DN), pp. 58–69.

FSE-1996-DamonJJ #diagrams #relational #specification

Checking Relational Specifications With Binary Decision Diagrams (CD, DJ, SJ), pp. 70–80.

FSE-1996-ZhangRL #alias #analysis #composition #pointer #towards

Program Decomposition for Pointer Aliasing: A Step Toward Practical Analyses (SZ, BGR, WL), pp. 81–92.

FSE-1996-NaumovichCO #analysis #communication #data flow #protocol #using #verification

Verification of Communication Protocols Using Data Flow Analysis (GN, LAC, LJO), pp. 93–105.

FSE-1996-DillonR #generative #logic #specification

Generating Oracles from Your Favorite Temporal Logic Specifications (LKD, YSR), pp. 106–117.

FSE-1996-RosenblumW #effectiveness #predict #testing

Predicting the Cost-Effectiveness of Regression Testing Strategies (DSR, EJW), pp. 118–126.

FSE-1996-ParissisO #testing

Specification-based Testing of Synchronous Software (IP, FO), pp. 127–134.

FSE-1996-SiffR #c #c++ #reuse

Program Generalization for Software Reuse: From C to C++ (MS, TWR), pp. 135–146.

FSE-1996-BarrettKW #automation

Automated Support for Seamless Interoperability in Polylingual Software Systems (DJB, AK, JCW), pp. 147–155.

FSE-1996-AndersonBBCMNR #model checking #scalability #specification

Model Checking Large Software Specifications (RJA, PB, SB, WC, FM, DN, JDR), pp. 156–166.

FSE-1996-Gunter #dependence

Abstracting Dependencies between Software Configuration Items (CAG), pp. 167–178.

FSE-1996-DarimontL #refinement #requirements

Formal Refinement Patterns for Goal-Driven Requirements Elaboration (RD, AvL), pp. 179–190.