skip to content
Refinement techniques in software engineering : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 : revised lectures Preview this item
ClosePreview this item
Checking...

Refinement techniques in software engineering : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 : revised lectures

Author: Ana Cavalcanti; Augusto Sampaio; Jim Woodcock
Publisher: Berlin ; New York : Springer, ©2006.
Series: Lecture notes in computer science, 3167.; Lecture notes in computer science., Tutorial.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Database:WorldCat
Summary:
"This tutorial book presents an augmented selection of the material presented at the First Pernambuco Summer School on Software Engineering, PSSE 2004, held in Receife, Brazil in November/December 2004, jointly with the Brazilian Symposium on Formal Methods (SBMF 2004)."--Jacket.
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: Electronic books
Conference papers and proceedings
Congresses
Additional Physical Format: Print version:
Pernambuco Summer School on Software Engineering (1st : 2004 : Recife, Brazil).
Refinement techniques in software engineering.
Berlin ; New York : Springer, ©2006
(DLC) 2006933059
(OCoLC)73108933
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Ana Cavalcanti; Augusto Sampaio; Jim Woodcock
ISBN: 9783540462545 3540462546 3540462538 9783540462538
OCLC Number: 262693892
Description: 1 online resource (x, 391 pages) : illustrations.
Contents: Refinement : an overview / Ana Cavalcanti, Augusto Sampaio, Jim Woodcock --
Transformation laws for sequential object-oriented programming / Augusto Sampaio, Paulo Borba --
Using CSP / Jim Davies --
Developing and reasoning about probabilistic programs in pGCL / Annabelle McIver, Carroll Morgan --
Real-time and fault-tolerant systems / Zhiming Liu, Mathai Joseph --
A tutorial introduction to CSP in unifying theories of programming / Ana Cavalcanti, Jim Woodcock --
Using the compliance notation in industry / Phil Clayton, Colin O'Halloran --
Techniques for temporal logic model checking / David D'eharbe --
Elementary probability theory --Proofs of lemmas and theorems in the UTP --
Library block specifications.
Series Title: Lecture notes in computer science, 3167.; Lecture notes in computer science., Tutorial.
Other Titles: First Pernambuco Summer School on Software Engineering
Pernambuco Summer School on Software Engineering
PSSE 2004
Responsibility: Ana Cavalcanti, Augusto Sampaio, Jim Woodcock (eds.).
More information:

Abstract:

Presents an augmented selection of the material presented at the First Pernambuco Summer School on Software Engineering, PSSE 2004, held in Receife, Brazil in November/December 2004, jointly with the  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/262693892> # Refinement techniques in software engineering : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 : revised lectures
    a schema:MediaObject, schema:Book, schema:CreativeWork ;
    library:oclcnum "262693892" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/604957208#Place/berlin> ; # Berlin
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://id.worldcat.org/fast/1124185> ; # Software engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/604957208#Topic/software_engineering> ; # Software engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/604957208#Topic/informatique> ; # Informatique
    schema:about <http://dewey.info/class/005.1/e22/> ;
    schema:alternateName "First Pernambuco Summer School on Software Engineering" ;
    schema:alternateName "Pernambuco Summer School on Software Engineering" ;
    schema:alternateName "PSSE 2004" ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/604957208#Person/cavalcanti_ana> ; # Ana Cavalcanti
    schema:contributor <http://experiment.worldcat.org/entity/work/data/604957208#Person/sampaio_augusto> ; # Augusto Sampaio
    schema:contributor <http://viaf.org/viaf/145747617> ; # Jim Woodcock
    schema:copyrightYear "2006" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/604957208#Meeting/pernambuco_summer_school_on_software_engineering_1st_2004_recife_brazil> ; # Pernambuco Summer School on Software Engineering (1st : 2004 : Recife, Brazil)
    schema:datePublished "2006" ;
    schema:description "Refinement : an overview / Ana Cavalcanti, Augusto Sampaio, Jim Woodcock -- Transformation laws for sequential object-oriented programming / Augusto Sampaio, Paulo Borba -- Using CSP / Jim Davies -- Developing and reasoning about probabilistic programs in pGCL / Annabelle McIver, Carroll Morgan -- Real-time and fault-tolerant systems / Zhiming Liu, Mathai Joseph -- A tutorial introduction to CSP in unifying theories of programming / Ana Cavalcanti, Jim Woodcock -- Using the compliance notation in industry / Phil Clayton, Colin O'Halloran -- Techniques for temporal logic model checking / David D'eharbe -- Elementary probability theory --Proofs of lemmas and theorems in the UTP -- Library block specifications."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/604957208> ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Conference publication"@en ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/604957208#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science.
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science, Tutorial
    schema:isSimilarTo <http://www.worldcat.org/oclc/73108933> ;
    schema:name "Refinement techniques in software engineering : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 : revised lectures"@en ;
    schema:productID "262693892" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/262693892#PublicationEvent/berlin_new_york_springer_2006> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/604957208#Agent/springer> ; # Springer
    schema:reviews <http://www.worldcat.org/title/-/oclc/262693892#Review/1963719731> ;
    schema:url <http://catdir.loc.gov/catdir/toc/fy0805/2006933059.html> ;
    schema:url <http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3167> ;
    schema:url <http://www.myilibrary.com?id=139280> ;
    schema:url <http://site.ebrary.com/id/10532857> ;
    schema:url <http://rave.ohiolink.edu/ebooks/ebc/11889229> ;
    schema:url <http://dx.doi.org/10.1007/11889229> ;
    schema:url <http://public.eblib.com/choice/PublicFullRecord.aspx?p=3068480> ;
    schema:url <http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-46253-8> ;
    schema:workExample <http://worldcat.org/isbn/9783540462538> ;
    schema:workExample <http://worldcat.org/isbn/9783540462545> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/262693892> ;
    .


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/604957208#Meeting/pernambuco_summer_school_on_software_engineering_1st_2004_recife_brazil> # Pernambuco Summer School on Software Engineering (1st : 2004 : Recife, Brazil)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/604957208#Place/recife_brazil> ; # Recife, Brazil)
    schema:name "Pernambuco Summer School on Software Engineering (1st : 2004 : Recife, Brazil)" ;
    .

<http://experiment.worldcat.org/entity/work/data/604957208#Person/cavalcanti_ana> # Ana Cavalcanti
    a schema:Person ;
    schema:familyName "Cavalcanti" ;
    schema:givenName "Ana" ;
    schema:name "Ana Cavalcanti" ;
    .

<http://experiment.worldcat.org/entity/work/data/604957208#Person/sampaio_augusto> # Augusto Sampaio
    a schema:Person ;
    schema:familyName "Sampaio" ;
    schema:givenName "Augusto" ;
    schema:name "Augusto Sampaio" ;
    .

<http://experiment.worldcat.org/entity/work/data/604957208#Place/recife_brazil> # Recife, Brazil)
    a schema:Place ;
    schema:name "Recife, Brazil)" ;
    .

<http://experiment.worldcat.org/entity/work/data/604957208#Series/lecture_notes_in_computer_science> # Lecture notes in computer science.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/262693892> ; # Refinement techniques in software engineering : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 : revised lectures
    schema:name "Lecture notes in computer science." ;
    schema:name "Lecture notes in computer science ;" ;
    .

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

<http://viaf.org/viaf/145747617> # Jim Woodcock
    a schema:Person ;
    schema:familyName "Woodcock" ;
    schema:givenName "Jim" ;
    schema:name "Jim Woodcock" ;
    .

<http://worldcat.org/isbn/9783540462538>
    a schema:ProductModel ;
    schema:isbn "3540462538" ;
    schema:isbn "9783540462538" ;
    .

<http://worldcat.org/isbn/9783540462545>
    a schema:ProductModel ;
    schema:isbn "3540462546" ;
    schema:isbn "9783540462545" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science, Tutorial
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/262693892> ; # Refinement techniques in software engineering : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 : revised lectures
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science, Tutorial" ;
    .

<http://www.worldcat.org/oclc/73108933>
    a schema:CreativeWork ;
    rdfs:label "Refinement techniques in software engineering." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/262693892> ; # Refinement techniques in software engineering : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 : revised lectures
    .

<http://www.worldcat.org/title/-/oclc/262693892>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/262693892> ; # Refinement techniques in software engineering : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 : revised lectures
    schema:dateModified "2016-11-10" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .

<http://www.worldcat.org/title/-/oclc/262693892#Review/1963719731>
    a schema:Review ;
    schema:itemReviewed <http://www.worldcat.org/oclc/262693892> ; # Refinement techniques in software engineering : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 : revised lectures
    schema:reviewBody ""This tutorial book presents an augmented selection of the material presented at the First Pernambuco Summer School on Software Engineering, PSSE 2004, held in Receife, Brazil in November/December 2004, jointly with the Brazilian Symposium on Formal Methods (SBMF 2004)."--Jacket." ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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