David S. Wile
Proceedings of the Second Symposium on Foundations of Software Engineering
FSE, 1994.

@proceedings{FSE-1994,
	address       = "New Orleans, Louisiana, USA",
	editor        = "David S. Wile",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Second Symposium on Foundations of Software Engineering}",
	year          = 1994,
}

Contents (17 items)

3 ×#analysis
3 ×#composition
3 ×#specification
3 ×#using
2 ×#architecture
2 ×#concurrent
2 ×#data flow
2 ×#data type
2 ×#dependence
2 ×#named

FSE-1994-JacksonR #dependence #reverse engineering

A New Model of Program Dependences for Reverse Engineering (DJ, EJR), pp. 2–10.

FSE-1994-RepsHSR #slicing

Speeding up Slicing (TWR, SH, SS, GR), pp. 11–20.

FSE-1994-MashayekhiFR #collaboration #named

CAIS: Collaborative Asynchronous Inspection of Software (VM, CF, JR), pp. 21–34.

FSE-1994-CeceFI #communication #fault

Duplication, Insertion and Lossiness Errors in Unreliable Communication Channels (GC, AF, SPI), pp. 35–43.

FSE-1994-AbowdD #interactive #specification

Integrating Status and Event Phenomena in Formal Specifications of Interactive Systems (GDA, AJD), pp. 44–52.

FSE-1994-CorbettA #analysis #composition #scalability #towards

Towards Scalable Compositional Analysis (JCC, GSA), pp. 53–61.

FSE-1994-DwyerC #analysis #concurrent #data flow #source code #verification

Data Flow Analysis for Verifying Properties of Concurrent Programs (MBD, LAC), pp. 62–75.

FSE-1994-LevyS #approach #independence #specification

A Language-Independent Approach to Specification Construction (NL, GS), pp. 76–86.

FSE-1994-EvansGHT #named #specification #using

LCLint: A Tool for Using Specifications to Check Code (DE, JVG, JJH, YMT), pp. 87–96.

FSE-1994-BowdidgeG #automation #data type #encapsulation

Automated Support for Encapsulating Abstract Data Types (RWB, WGG), pp. 97–110.

FSE-1994-BatoryTS #compilation #data type #re-engineering #scalability #using

Reengineering a Complex Application Using a Scalable Data Structure Compiler (DSB, JT, MS), pp. 111–120.

FSE-1994-VandevoordeG #analysis #composition #runtime #using

Using Specialized Procedures and Specification-Based Analysis to Reduce the Runtime Costs of Modularity (MTV, JVG), pp. 121–127.

FSE-1994-Hamlet #dependence #testing

Foundations of Software Testing: Dependability Theory (RGH), pp. 128–139.

FSE-1994-DillonY #concurrent

Oracles for Checking Temporal Properties of Concurrent Systems (LKD, QY), pp. 140–153.

FSE-1994-HarroldR #data flow #testing

Performing Data Flow Testing on Classes (MJH, GR), pp. 154–163.

FSE-1994-MoriconiQ #architecture #composition #correctness

Correctness and Composition of Software Architectures (MM, XQ), pp. 164–174.

FSE-1994-GarlanAO #architecture #design

Exploiting Style in Architectural Design Environments (DG, RA, JO), pp. 175–188.