skip to content
Design by contract, by example Preview this item
ClosePreview this item
Checking...

Design by contract, by example

Author: Richard Mitchell; Jim McKim
Publisher: Boston, MA : Addison Wesley, 2002.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:

Using both the Eiffel and Java languages as guidance, this book paves the way to learning Design by contract. This text demonstrates how to write effective contracts and supporting guidelines, and  Read more...

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

Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Richard Mitchell; Jim McKim
ISBN: 0201634600 9780201634600
OCLC Number: 47739287
Description: xv, 238 pages ; 24 cm
Contents: A first taste of design by contract --
Elementary principles of design by contract --
Applying the six principles --
Building support for contracts--immutable lists --
Applying the six principles of QUEUE --
Design by contract and inheritance --
Frame rules --
Benefits of design by contract --
Contracts for an observer framework --
Fulfilling a precondition --
Java examples --
Analysis by contract.
Responsibility: Richard Mitchell, Jim McKim.

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/47739287> # Design by contract, by example
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "47739287" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mau> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/2551760#Place/boston_ma> ; # Boston, MA
    schema:about <http://experiment.worldcat.org/entity/work/data/2551760#Topic/conception_assistee_par_ordinateur> ; # Conception assistée par ordinateur
    schema:about <http://experiment.worldcat.org/entity/work/data/2551760#Topic/komponente> ; # Komponente
    schema:about <http://experiment.worldcat.org/entity/work/data/2551760#Topic/programmation_orientee_objets_informatique> ; # Programmation orientée objets (informatique)
    schema:about <http://experiment.worldcat.org/entity/work/data/2551760#Topic/objektorientierte_programmierung> ; # Objektorientierte Programmierung
    schema:about <http://id.worldcat.org/fast/872701> ; # Computer-aided design
    schema:about <http://dewey.info/class/005.117/e21/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/2551760#Topic/cad> ; # CAD
    schema:about <http://id.worldcat.org/fast/1042804> ; # Object-oriented programming (Computer science)
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/71642210> ; # Jim McKim
    schema:creator <http://viaf.org/viaf/64254719> ; # Richard Mitchell
    schema:datePublished "2002" ;
    schema:description "A first taste of design by contract -- Elementary principles of design by contract -- Applying the six principles -- Building support for contracts--immutable lists -- Applying the six principles of QUEUE -- Design by contract and inheritance -- Frame rules -- Benefits of design by contract -- Contracts for an observer framework -- Fulfilling a precondition -- Java examples -- Analysis by contract."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/2551760> ;
    schema:inLanguage "en" ;
    schema:name "Design by contract, by example"@en ;
    schema:productID "47739287" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/47739287#PublicationEvent/boston_ma_addison_wesley_2002> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/2551760#Agent/addison_wesley> ; # Addison Wesley
    schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=009875505&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA> ;
    schema:workExample <http://worldcat.org/isbn/9780201634600> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA323279> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/47739287> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/2551760#Agent/addison_wesley> # Addison Wesley
    a bgn:Agent ;
    schema:name "Addison Wesley" ;
    .

<http://experiment.worldcat.org/entity/work/data/2551760#Topic/conception_assistee_par_ordinateur> # Conception assistée par ordinateur
    a schema:Intangible ;
    schema:name "Conception assistée par ordinateur"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2551760#Topic/objektorientierte_programmierung> # Objektorientierte Programmierung
    a schema:Intangible ;
    schema:name "Objektorientierte Programmierung"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2551760#Topic/programmation_orientee_objets_informatique> # Programmation orientée objets (informatique)
    a schema:Intangible ;
    schema:name "Programmation orientée objets (informatique)"@en ;
    .

<http://id.worldcat.org/fast/1042804> # Object-oriented programming (Computer science)
    a schema:Intangible ;
    schema:name "Object-oriented programming (Computer science)"@en ;
    .

<http://id.worldcat.org/fast/872701> # Computer-aided design
    a schema:Intangible ;
    schema:name "Computer-aided design"@en ;
    .

<http://viaf.org/viaf/64254719> # Richard Mitchell
    a schema:Person ;
    schema:birthDate "1947" ;
    schema:familyName "Mitchell" ;
    schema:givenName "Richard" ;
    schema:name "Richard Mitchell" ;
    .

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

<http://worldcat.org/isbn/9780201634600>
    a schema:ProductModel ;
    schema:isbn "0201634600" ;
    schema:isbn "9780201634600" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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