skip to content
SIGSOFT '96 : proceedings of the Fourth ACM SIGSOFT Symposium on the Foundations of Software Engineering : San Francisco, California, USA, October 16-18, 1996 Preview this item
ClosePreview this item
Checking...

SIGSOFT '96 : proceedings of the Fourth ACM SIGSOFT Symposium on the Foundations of Software Engineering : San Francisco, California, USA, October 16-18, 1996

Author: David Garlan; Association for Computing Machinery.; ACM Sigsoft.
Publisher: New York : ACM Press, ©1996.
Series: Software engineering notes, v. 21, no. 6.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Database:WorldCat
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Conference papers and proceedings
Congresses
Additional Physical Format: Online version:
ACM SIGSOFT Symposium on the Foundations of Software Engineering (4th : 1996 : San Francisco, Calif.).
SIGSOFT '96.
New York : ACM Press, ©1996
(OCoLC)681301866
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: David Garlan; Association for Computing Machinery.; ACM Sigsoft.
ISBN: 0897917979 9780897917971
OCLC Number: 35952448
Notes: "ACM order number: 594960"--Title page verso.
Description: vii, 190 pages : illustrations ; 28 cm.
Series Title: Software engineering notes, v. 21, no. 6.
Other Titles: Proceedings of the Fourth ACM SIGSOFT Symposium on the Foundations of Software Engineering
Responsibility: edited by David Garlan.

Table of Contents:

by maheenhassan (WorldCat user on 2007-12-17)

Section1. Software systems architecting (Abstract)\ by Eberhardt Rechtin -- Section2.Problems, Methods, and Structures (Abstract)\ by Michael Jackson -- Section3. Engineering Bridges: From Concept to Reality (Abstract)\ by Henry Petroski -- Section4.Software Systems Architecting (Abstract)\ by Eberhardt Rechtin -- Section5.What Can Programming Languages Contribute to Software Engineering, and Vice Versa? (Panel)\ by Gregor Kiczales -- Section6. Industrial Priorities for Software Engineering Research (Panel)\ by Barry W. Boehm -- Section7.Dynamic Structure in Software Architectures\ by Jeff Magee, Jeff Kramer -- Section8. Software Architecture Styles as Graph Grammars\ by Daniel Le Métayer -- Section9. Using Object-Oriented Typing to Support Architectural Design in the C2 Style\ by Nenad Medvidovic, Peyman Oreizy, Jason E. Robbins, Richard N. Taylor -- Section10.Tool Support for Planning the Restructuring of Data Abstractions in Large Systems\ by William G. Griswold, Morison I. Chen, Robert W. Bowdidge, J. David Morgenthaler -- Section11. Evolution of Object Behavior Using Context Relations\ by Linda M. Seiter, Jens Palsberg, Karl J. Lieberherr -- Section12. Decoupling Change from Design\ by Michael VanHilst, David Notkin -- Section13.Checking Relational Specifications With Binary Decision Diagrams\ by Craig Damon, Daniel Jackson, Somesh Jha -- Section14.Program Decomposition for Pointer Aliasing: A Step Toward Practical Analyses\ by Sean Zhang, Barbara G. Ryder, William Landi -- Section15. Verification of Communication Protocols Using Data Flow Analysis\ by Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil -- Section16. Generating Oracles from Your Favorite Temporal Logic Specifications\ Laura K. Dillon, Y. S. Ramakrishna -- Section17. Predicting the Cost-Effectiveness of Regression Testing Strategies\ by David S. Rosenblum, Elaine J. Weyuker -- Section18. Specification-based Testing of Synchronous Software\ by Ioannis Parissis, Farid Ouabdesselam -- Section19.Program Generalization for Software Reuse: From C to C++\ by Michael Siff, Thomas W. Reps -- Section20. Automated Support for Seamless Interoperability in Polylingual Software Systems\ by Daniel J. Barrett, Alan Kaplan, Jack C. Wileden -- Section21.Model Checking Large Software Specifications\ by Richard J. Anderson, Paul Beame, Steve Burns, William Chan, Francesmary Modugno, David Notkin, Jon Damon Reese -- Section22. Abstracting Dependencies between Software Configuration Items\ by Carl A. Gunter -- Section23. Formal Refinement Patterns for Goal-Driven Requirements Elaboration\ by Robert Darimont, Axel van Lamsweerde

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/35952448> # SIGSOFT '96 : proceedings of the Fourth ACM SIGSOFT Symposium on the Foundations of Software Engineering : San Francisco, California, USA, October 16-18, 1996
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "35952448" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    schema:about <http://experiment.worldcat.org/entity/work/data/3901690044#Topic/computer_software> ; # Computer software
    schema:about <http://id.worldcat.org/fast/872527> ; # Computer software
    schema:about <http://id.worldcat.org/fast/1124185> ; # Software engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/3901690044#Topic/software_engineering> ; # Software engineering
    schema:alternateName "Proceedings of the Fourth ACM SIGSOFT Symposium on the Foundations of Software Engineering" ;
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/133611413> ; # Association for Computing Machinery.
    schema:contributor <http://experiment.worldcat.org/entity/work/data/3901690044#Organization/acm_sigsoft> ; # ACM Sigsoft.
    schema:contributor <http://experiment.worldcat.org/entity/work/data/3901690044#Person/garlan_david> ; # David Garlan
    schema:copyrightYear "1996" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/3901690044#Meeting/acm_sigsoft_symposium_on_foundations_of_software_engineering_4th_1996_san_francisco_calif> ; # ACM SIGSOFT Symposium on Foundations of Software Engineering (4th : 1996 : San Francisco, Calif.)
    schema:datePublished "1996" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/3901690044> ;
    schema:genre "Conference publication"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/0163-5948> ; # Software engineering notes ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/681301866> ;
    schema:name "SIGSOFT '96 : proceedings of the Fourth ACM SIGSOFT Symposium on the Foundations of Software Engineering : San Francisco, California, USA, October 16-18, 1996"@en ;
    schema:productID "35952448" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/35952448#PublicationEvent/new_york_acm_press_1996> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/3901690044#Agent/acm_press> ; # ACM Press
    schema:url <http://www.acm.org/pubs/contents/proceedings/soft/239098/> ;
    schema:workExample <http://worldcat.org/isbn/9780897917971> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/35952448> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/3901690044#Meeting/acm_sigsoft_symposium_on_foundations_of_software_engineering_4th_1996_san_francisco_calif> # ACM SIGSOFT Symposium on Foundations of Software Engineering (4th : 1996 : San Francisco, Calif.)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/3901690044#Place/san_francisco_calif> ; # San Francisco, Calif.)
    schema:name "ACM SIGSOFT Symposium on Foundations of Software Engineering (4th : 1996 : San Francisco, Calif.)" ;
    .

<http://experiment.worldcat.org/entity/work/data/3901690044#Person/garlan_david> # David Garlan
    a schema:Person ;
    schema:familyName "Garlan" ;
    schema:givenName "David" ;
    schema:name "David Garlan" ;
    .

<http://experiment.worldcat.org/entity/work/data/3901690044#Place/san_francisco_calif> # San Francisco, Calif.)
    a schema:Place ;
    schema:name "San Francisco, Calif.)" ;
    .

<http://id.worldcat.org/fast/1124185> # Software engineering
    a schema:Intangible ;
    schema:name "Software engineering"@en ;
    .

<http://id.worldcat.org/fast/872527> # Computer software
    a schema:Intangible ;
    schema:name "Computer software"@en ;
    .

<http://viaf.org/viaf/133611413> # Association for Computing Machinery.
    a schema:Organization ;
    schema:name "Association for Computing Machinery." ;
    .

<http://worldcat.org/isbn/9780897917971>
    a schema:ProductModel ;
    schema:isbn "0897917979" ;
    schema:isbn "9780897917971" ;
    .

<http://worldcat.org/issn/0163-5948> # Software engineering notes ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/35952448> ; # SIGSOFT '96 : proceedings of the Fourth ACM SIGSOFT Symposium on the Foundations of Software Engineering : San Francisco, California, USA, October 16-18, 1996
    schema:issn "0163-5948" ;
    schema:name "Software engineering notes ;" ;
    schema:name "Software engineering notes," ;
    .

<http://www.acm.org/pubs/contents/proceedings/soft/239098/>
    rdfs:comment "Full text of the Conference proceedings (1996)" ;
    .

<http://www.worldcat.org/oclc/681301866>
    a schema:CreativeWork ;
    rdfs:label "SIGSOFT '96." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/35952448> ; # SIGSOFT '96 : proceedings of the Fourth ACM SIGSOFT Symposium on the Foundations of Software Engineering : San Francisco, California, USA, October 16-18, 1996
    .

<http://www.worldcat.org/title/-/oclc/35952448>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/35952448> ; # SIGSOFT '96 : proceedings of the Fourth ACM SIGSOFT Symposium on the Foundations of Software Engineering : San Francisco, California, USA, October 16-18, 1996
    schema:dateModified "2016-10-12" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.