skip to content
ESEC '89 : 2nd European Software Engineering Conference, University of Warwick, Coventry, UK, September, 11-15, 1989 : proceedings Preview this item
ClosePreview this item
Checking...

ESEC '89 : 2nd European Software Engineering Conference, University of Warwick, Coventry, UK, September, 11-15, 1989 : proceedings

Author: Carlo Ghezzi; John McDermid
Publisher: Berlin ; New York : Springer-Verlag, ©1989.
Series: Lecture notes in computer science, 387.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Summary:
"The book is concerned with the broad topic of software engineering. It comprises the proceedings of the European Software Engineering Conference (ESEC) held at the University of Warwick in the United Kingdom in September 1989 and its primary purpose is to summarise the state of the art in software engineering as represented by the papers at that conference. The material covers both submitted papers and a number of  Read more...
Rating:

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

Subjects
More like this

Find a copy online

Find a copy in the library

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

Details

Genre/Form: Electronic resources (Books)
Conference papers and proceedings
Congresses
Additional Physical Format: Online version:
European Software Engineering Conference (2nd : 1989 : University of Warwick)
ESEC '89.
Berlin ; New York : Springer-Verlag, ©1989
(OCoLC)1089951460
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Carlo Ghezzi; John McDermid
ISBN: 0387516352 9780387516356 3540516352 9783540516354
OCLC Number: 20353960
Description: vi, 496 pages : illustrations ; 25 cm.
Details: Mode of access: World Wide Web.
Contents: Software risk management.- MENU - an example for the systematic reuse of specifications.- Asking for the impossible: The state of the art in safety-related systems.- STEPS to software development with users.- The role of measurement in ISEEs.- An empirical and theoretical analysis of an information flow-based system design metric.- Systematic development of formal software process models.- Software process machines: A framework for future software development environments.- Practical experience of formal specification: A programming interface for communications.- Industrialising formal methods for telecommunications.- An application of the event calculus for representing the history of a software project.- Change oriented versioning.- Software change dynamics or half of all Ada compilations are redundant.- Version management in the PACT integrated software engineering environment.- Software engineering implications for formal refinement.- A rigorous development strategy using the OBJ specification language and the MALPAS program analysis tools.- Formal specification using structured systems analysis.- Tool integration in an open environment.- HCDM/GSDS - A design environment for real-time software with automatic program generation.- Graph grammars, a new paradigm for implementing visual languages.- Structural modelling of Prolog for metrication.- Rule-based handling of software quality and productivity models.- An object-oriented approach to the system analysis.- A pluralistic knowledge-based approach to software specification.- PROTOB a hierarchical object-oriented CASE tool for distributed systems.- The internet worm incident.- Validation of concurrent Ada (TM) programs using symbolic execution.- Assay-a tool to support regression testing.
Series Title: Lecture notes in computer science, 387.
Responsibility: C. Ghezzi, J.A. McDermid (eds.).

Abstract:

The topics covered include: metrics and measurement, software process modelling, formal methods including their use in industry, software configuration management, software development environments,  Read more...

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/20353960> # ESEC '89 : 2nd European Software Engineering Conference, University of Warwick, Coventry, UK, September, 11-15, 1989 : proceedings
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "20353960" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1104426916#Place/berlin> ; # Berlin
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    schema:about <http://experiment.worldcat.org/entity/work/data/1104426916#Topic/software_engineering> ; # Software engineering
    schema:about <http://dewey.info/class/005.1/e20/> ;
    schema:about <http://id.worldcat.org/fast/1124185> ; # Software engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/1104426916#Topic/genie_logiciel_congres> ; # Génie logiciel--Congrès
    schema:about <http://experiment.worldcat.org/entity/work/data/1104426916#Topic/engenharia_de_programacao_software> ; # Engenharia De Programacao (Software)
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/71484399> ; # Carlo Ghezzi
    schema:contributor <http://viaf.org/viaf/7473279> ; # John McDermid
    schema:copyrightYear "1989" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/1104426916#Meeting/european_software_engineering_conference_2nd_1989_university_of_warwick> ; # European Software Engineering Conference (2nd : 1989 : University of Warwick)
    schema:datePublished "1989" ;
    schema:description ""The book is concerned with the broad topic of software engineering. It comprises the proceedings of the European Software Engineering Conference (ESEC) held at the University of Warwick in the United Kingdom in September 1989 and its primary purpose is to summarise the state of the art in software engineering as represented by the papers at that conference. The material covers both submitted papers and a number of invited papers given at the conference. The topics covered include: metrics and measurement, software process modelling, formal methods including their use in industry, software configuration management, software development environments, and requirements engineering. The book is most likely to be of interest to researchers and professionals working in the field of software development. The primary value of the book is that it gives an up-to-date treatment of its subject material and includes some interesting discussions of the transfer of research ideas into industrial practice."--Publisher's website."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1104426916> ;
    schema:genre "Conference publication"@en ;
    schema:genre "Electronic resources (Books)"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1104426916#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/1089951460> ;
    schema:name "ESEC '89 : 2nd European Software Engineering Conference, University of Warwick, Coventry, UK, September, 11-15, 1989 : proceedings"@en ;
    schema:productID "20353960" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/20353960#PublicationEvent/berlin_new_york_springer_verlag_1989> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1104426916#Agent/springer_verlag> ; # Springer-Verlag
    schema:url <http://www.library.tufts.edu/ezproxy/ezproxy.asp?LOCATION=SpLinkLeNoCoSc> ;
    schema:workExample <http://worldcat.org/isbn/9783540516354> ;
    schema:workExample <http://worldcat.org/isbn/9780387516356> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/20353960> ;
    .


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/1104426916#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
    schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/1104426916#Meeting/european_software_engineering_conference_2nd_1989_university_of_warwick> # European Software Engineering Conference (2nd : 1989 : University of Warwick)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/1104426916#Place/university_of_warwick> ; # University of Warwick)
    schema:name "European Software Engineering Conference (2nd : 1989 : University of Warwick)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1104426916#Place/university_of_warwick> # University of Warwick)
    a schema:Place ;
    schema:name "University of Warwick)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1104426916#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/20353960> ; # ESEC '89 : 2nd European Software Engineering Conference, University of Warwick, Coventry, UK, September, 11-15, 1989 : proceedings
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/1104426916#Topic/engenharia_de_programacao_software> # Engenharia De Programacao (Software)
    a schema:Intangible ;
    schema:name "Engenharia De Programacao (Software)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1104426916#Topic/genie_logiciel_congres> # Génie logiciel--Congrès
    a schema:Intangible ;
    schema:name "Génie logiciel--Congrès"@en ;
    schema:name "Génie logiciel--Congrès"@fr ;
    .

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

<http://viaf.org/viaf/71484399> # Carlo Ghezzi
    a schema:Person ;
    schema:familyName "Ghezzi" ;
    schema:givenName "Carlo" ;
    schema:name "Carlo Ghezzi" ;
    .

<http://viaf.org/viaf/7473279> # John McDermid
    a schema:Person ;
    schema:familyName "McDermid" ;
    schema:givenName "John" ;
    schema:name "John McDermid" ;
    .

<http://worldcat.org/isbn/9780387516356>
    a schema:ProductModel ;
    schema:isbn "0387516352" ;
    schema:isbn "9780387516356" ;
    .

<http://worldcat.org/isbn/9783540516354>
    a schema:ProductModel ;
    schema:isbn "3540516352" ;
    schema:isbn "9783540516354" ;
    .

<http://www.worldcat.org/oclc/1089951460>
    a schema:CreativeWork ;
    rdfs:label "ESEC '89." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/20353960> ; # ESEC '89 : 2nd European Software Engineering Conference, University of Warwick, Coventry, UK, September, 11-15, 1989 : proceedings
    .

<http://www.worldcat.org/title/-/oclc/20353960>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/20353960> ; # ESEC '89 : 2nd European Software Engineering Conference, University of Warwick, Coventry, UK, September, 11-15, 1989 : proceedings
    schema:dateModified "2019-03-15" ;
    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.