1 option
SIGSOFT '94. proceedings of the Second ACM SIGSOFT Symposium on the Foundations of Software Engineering : New Orleans, Louisiana, USA, December 6-9, 1994 / edited by David Wile.
- Format:
- Book
- Conference/Event
- Conference Name:
- ACM SIGSOFT Symposium on Foundations of Software Engineering (2nd : 1994 : New Orleans, La.)
- Series:
- ACM Digital Library (Series)
- Software engineering notes ; v. 19, no. 5.
- Software engineering notes ; v. 19, no. 5
- Language:
- English
- Subjects (All):
- Computer software--Congresses.
- Computer software.
- Genre:
- Conference papers and proceedings.
- Physical Description:
- viii, 188 pages : illustrations.
- Other Title:
- Proceedings of the Second ACM SIGSOFT Symposium on the Foundations of Software Engineering.
- Place of Publication:
- New York : ACM Press, [1994]
- System Details:
- Mode of access: World Wide Web.
- text file
- Contents:
- A new model of program dependences for reverse engineering / Daniel Jackson & Eugene J. Rollins
- Speeding up slicing / Thomas Reps ... [et al.]
- CAIS: collaborative asynchronous inspection of software / Vahid Mashayekhi, Chris Feuller, & John Riedl
- Duplication, insertion and lossiness errors in unreliable communication channels / Gérard Cécé, Alain Finke & S. Purushothaman Iyer
- Integrating status and event phenomena in formal specifications of interactive systems / Gregory D. Abowd & Alan J. Dix
- Towards scalable compositional analysis / James C. Corbett & George S. Avrunin
- Data flow analysis for verifying properties of concurrent probrams / Matthew B. Dwyer & Lori A. Clarke
- A language-independent approach to specification construction / N. Lévy & G. Smith
- LCLint: a tool for using specifications to check code / David Evans ... [et al.]
- Automated support for encapsulating abstract data types / Robert W. Bowdidge & William G. Griswold
- Reengineering a complex application using a scalable data structure compiler / Don Batory, Jeff Thomas & Mary Sirkin
- Using specialized proceedures and specification-based analysis to reduce the runtime costs of modularity / Mark T. Vandervoorde & John V. Guttag
- Foundations of software testing : dependability theory / Dick Hamlet
- Oracles for checking temporal properties of concurrent systems / Laura K. Dillon & Qing Yu
- Performing dataflow testing on classes / Mary Jean Harrold & Gregg Rothermel
- Correctness and composition of software architectures / Mark Moriconi & Xiaolei Qian
- Exploiting style in architectural design environments / David Garlan, Robert Allen & John Ockerbloom
- Notes:
- "December, 1994"--Cover.
- "ACM order number: 594941"--T.p. verso.
- Includes bibliographical references.
- ISBN:
- 0897916913
- 9780897916912
- OCLC:
- 31790549
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.