Proceedings of the Second Symposium on Foundations of Software Engineering
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

SE
DBLP
Scholar
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.