2. SIGSOFT FSE 1994:
New Orleans, Louisiana, USA
David S. Wile (Ed.):
SIGSOFT '94, Proceedings of the Second ACM SIGSOFT Symposium on Foundations of Software Engineering, New Orleans, Louisiana, USA, December 6-9, 1994. ACM SIGSOFT Software Engineering Notes 19(5), December 1994
- Daniel Jackson, Eugene J. Rollins:
A New Model of Program Dependences for Reverse Engineering.
2-10
- Thomas W. Reps, Susan Horwitz, Shmuel Sagiv, Genevieve Rosay:
Speeding up Slicing.
11-20
- Vahid Mashayekhi, Chris Feulner, John Riedl:
CAIS: Collaborative Asynchronous Inspection of Software.
21-34
- Gérard Cécé, Alain Finkel, S. Purushothaman Iyer:
Duplication, Insertion and Lossiness Errors in Unreliable Communication Channels.
35-43
- Gregory D. Abowd, Alan J. Dix:
Integrating Status and Event Phenomena in Formal Specifications of Interactive Systems.
44-52
- James C. Corbett, George S. Avrunin:
Towards Scalable Compositional Analysis.
53-61
- Matthew B. Dwyer, Lori A. Clarke:
Data Flow Analysis for Verifying Properties of Concurrent Programs.
62-75
- Nicole Lévy, G. Smith:
A Language-Independent Approach to Specification Construction.
76-86
- David Evans, John V. Guttag, James J. Horning, Yang Meng Tan:
LCLint: A Tool for Using Specifications to Check Code.
87-96
- Robert W. Bowdidge, William G. Griswold:
Automated Support for Encapsulating Abstract Data Types.
97-110
- Don S. Batory, Jeff Thomas, Marty Sirkin:
Reengineering a Complex Application Using a Scalable Data Structure Compiler.
111-120
- Mark T. Vandevoorde, John V. Guttag:
Using Specialized Procedures and Specification-Based Analysis to Reduce the Runtime Costs of Modularity.
121-127
- Richard G. Hamlet:
Foundations of Software Testing: Dependability Theory.
128-139
- Laura K. Dillon, Qing Yu:
Oracles for Checking Temporal Properties of Concurrent Systems.
140-153
- Mary Jean Harrold, Gregg Rothermel:
Performing Data Flow Testing on Classes.
154-163
- Mark Moriconi, Xiaolei Qian:
Correctness and Composition of Software Architectures.
164-174
- David Garlan, Robert Allen, John Ockerbloom:
Exploiting Style in Architectural Design Environments.
175-188
Last update Fri May 24 19:49:29 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
