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
Electronic Edition (ACM DL) BibTeX
- Thomas W. Reps, Susan Horwitz, Shmuel Sagiv, Genevieve Rosay:
Speeding up Slicing.
11-20
Electronic Edition (ACM DL) BibTeX
- Vahid Mashayekhi, Chris Feulner, John Riedl:
CAIS: Collaborative Asynchronous Inspection of Software.
21-34
Electronic Edition (ACM DL) BibTeX
- Gérard Cécé, Alain Finkel, S. Purushothaman Iyer:
Duplication, Insertion and Lossiness Errors in Unreliable Communication Channels.
35-43
Electronic Edition (ACM DL) BibTeX
- Gregory D. Abowd, Alan J. Dix:
Integrating Status and Event Phenomena in Formal Specifications of Interactive Systems.
44-52
Electronic Edition (ACM DL) BibTeX
- James C. Corbett, George S. Avrunin:
Towards Scalable Compositional Analysis.
53-61
Electronic Edition (ACM DL) BibTeX
- Matthew B. Dwyer, Lori A. Clarke:
Data Flow Analysis for Verifying Properties of Concurrent Programs.
62-75
Electronic Edition (ACM DL) BibTeX
- Nicole Lévy, G. Smith:
A Language-Independent Approach to Specification Construction.
76-86
Electronic Edition (ACM DL) BibTeX
- David Evans, John V. Guttag, James J. Horning, Yang Meng Tan:
LCLint: A Tool for Using Specifications to Check Code.
87-96
Electronic Edition (ACM DL) BibTeX
- Robert W. Bowdidge, William G. Griswold:
Automated Support for Encapsulating Abstract Data Types.
97-110
Electronic Edition (ACM DL) BibTeX
- Don S. Batory, Jeff Thomas, Marty Sirkin:
Reengineering a Complex Application Using a Scalable Data Structure Compiler.
111-120
Electronic Edition (ACM DL) BibTeX
- Mark T. Vandevoorde, John V. Guttag:
Using Specialized Procedures and Specification-Based Analysis to Reduce the Runtime Costs of Modularity.
121-127
Electronic Edition (ACM DL) BibTeX
- Richard G. Hamlet:
Foundations of Software Testing: Dependability Theory.
128-139
Electronic Edition (ACM DL) BibTeX
- Laura K. Dillon, Qing Yu:
Oracles for Checking Temporal Properties of Concurrent Systems.
140-153
Electronic Edition (ACM DL) BibTeX
- Mary Jean Harrold, Gregg Rothermel:
Performing Data Flow Testing on Classes.
154-163
Electronic Edition (ACM DL) BibTeX
- Mark Moriconi, Xiaolei Qian:
Correctness and Composition of Software Architectures.
164-174
Electronic Edition (ACM DL) BibTeX
- David Garlan, Robert Allen, John Ockerbloom:
Exploiting Style in Architectural Design Environments.
175-188
Electronic Edition (ACM DL) BibTeX
Copyright © Sat May 16 23:41:18 2009
by Michael Ley (ley@uni-trier.de)
