SIGSOFT '94
Subtitle: proceedings of the Second ACM SIGSOFT Symposium on the Foundations of Software Engineering : New Orleans, Louisiana, USA, December 6-9, 1994
By: edited by David Wile.
Contributors: Wile, David.; Association for Computing Machinery.; ACM Sigsoft.
Series: Software engineering notes -- v. 19, no. 5.
Publisher: ACM Press
Published: 1994
Place of publication: New York
Language: eng
Number of pages: 188
Subjects: Computer software -- Congresses
Genres: Congresses.
Other titles: Proceedings of the Second ACM SIGSOFT Symposium on the Foundations of Software Engineering.
Notes: "December, 1994"--Cover.

"ACM order number: 594941"--T.p. verso.

Includes bibliographical references.

Also available on the World Wide Web via ACM Digital Library.

OCLC order: ACM Digital Library.
Table of contents: title: A new model of program dependences for reverse engineering / Daniel Jackson & Eugene J. Rollins; title: Speeding up slicing / Thomas Reps ... [et al.]; title: CAIS: collaborative asynchronous inspection of software / Vahid Mashayekhi, Chris Feuller, & John Riedl; title: Duplication, insertion and lossiness errors in unreliable communication channels / Gérard Cécé, Alain Finke & S. Purushothaman Iyer; title: Integrating status and event phenomena in formal specifications of interactive systems / Gregory D. Abowd & Alan J. Dix; title: Towards scalable compositional analysis / James C. Corbett & George S. Avrunin; title: Data flow analysis for verifying properties of concurrent probrams / Matthew B. Dwyer & Lori A. Clarke; title: A language-independent approach to specification construction / N. Lévy & G. Smith; title: LCLint: a tool for using specifications to check code / David Evans ... [et al.]; title: Automated support for encapsulating abstract data types / Robert W. Bowdidge & William G. Griswold; title: Reengineering a complex application using a scalable data structure compiler / Don Batory, Jeff Thomas & Mary Sirkin; title: Using specialized proceedures and specification-based analysis to reduce the runtime costs of modularity / Mark T. Vandervoorde & John V. Guttag; title: Foundations of software testing : dependability theory / Dick Hamlet; title: Oracles for checking temporal properties of concurrent systems / Laura K. Dillon & Qing Yu; title: Performing dataflow testing on classes / Mary Jean Harrold & Gregg Rothermel; title: Correctness and composition of software architectures / Mark Moriconi & Xiaolei Qian; title: Exploiting style in architectural design environments / David Garlan, Robert Allen & John Ockerbloom.