Gail E. Kaiser
Proceedings of the Third Symposium on Foundations of Software Engineering
FSE, 1995.

@proceedings{FSE-1995,
	address       = "Washington, District of Columbia, USA",
	editor        = "Gail E. Kaiser",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Third Symposium on Foundations of Software Engineering}",
	year          = 1995,
}

Contents (15 items)

3 ×#composition
2 ×#analysis
2 ×#case study
2 ×#development
2 ×#interprocedural
2 ×#modelling
2 ×#specification
2 ×#using

FSE-1995-ZaremskiW #component #specification

Specification Matching of Software Components (AMZ, JMW), pp. 6–17.

FSE-1995-MurphyNS #modelling

Software Reflexion Models: Bridging the Gap Between Source and High-Level Models (GCM, DN, KJS), pp. 18–28.

FSE-1995-GuptaS #approach #hybrid #information management #slicing #using

Hybrid Slicing: An Approach for Refining Static Slices Using Dynamic Information (RG, MLS), pp. 29–40.

FSE-1995-RepsR #interprocedural #precise

Precise Interprocedural Chopping (TWR, GR), pp. 41–52.

FSE-1995-HoffmanS #abstraction #composition #development

State Abstraction and Modular Software Development (DH, PAS), pp. 53–61.

FSE-1995-Fekete #case study #liveness #modelling #specification

Liveness Conditions in Model-Based Service Specifications: A Case Study (AF), pp. 62–71.

FSE-1995-FiadeiroM #composition #reuse

Interconnecting Formalisms: Supporting Modularity, Reuse and Incrementality (JLF, TSEM), pp. 72–80.

FSE-1995-Weyuker #assessment #reliability #testing #using

Using the Consequence of Failures for Testing and Reliability Assessment (EJW), pp. 81–91.

FSE-1995-PorterSTV #development #empirical #scalability

An Experiment to Assess the Cost-Benefits of Code Inspections in Large Scale Software Development (AAP, HPS, CAT, LGV), pp. 92–103.

FSE-1995-HorwitzRS #analysis #data flow #interprocedural

Demand Interprocedural Dataflow Analysis (SH, TWR, SS), pp. 104–115.

FSE-1995-MurphyN #lightweight

Lightweight Source Model Extraction (GCM, DN), pp. 116–127.

FSE-1995-WingV #case study #model checking

Model Checking Software Systems: A Case Study (JMW, MV), pp. 128–139.

FSE-1995-CheungK #analysis #composition #constraints #distributed #finite #reachability

Compositional Reachability Analysis of Finite-State Distributed Systems with User-Specified Constraints (SCC, JK), pp. 140–150.

FSE-1995-Zeller #configuration management

A Unified Version Model for Configuration Management (AZ), pp. 151–160.

FSE-1995-KaplanW #formal method

Formalization and Application of a Unifying Model for Name Management (AK, JCW), pp. 161–172.