SULJE VALIKKO

avaa valikko

Jim McKim | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 3 tuotetta
Haluatko tarkentaa hakukriteerejä?



Design by Contract, by Example
Tekijä: Richard Mitchell; Jim McKim
Kustantaja: (2001)
Saatavuus: Loppuunmyyty.
EUR   37,80
Heinrich Bullinger
Tekijä: Donald K McKim; Jim West
Kustantaja: Cascade Books (2022)
Saatavuus: Noin 10-13 arkipäivää
EUR   21,60
Heinrich Bullinger
Tekijä: Donald K McKim; Jim West
Kustantaja: Cascade Books (2022)
Saatavuus: Noin 10-13 arkipäivää
EUR   34,00
    
Design by Contract, by Example
37,80 €
Sivumäärä: 256 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2001, 12.10.2001 (lisätietoa)
Kieli: Englanti

Design by Contract is a systematic approach to specifying and implementing object-oriented software elements based on precisely defined obligations between them. This is the first practical, example-centered guide to using Design by Contract. The authors introduce powerful design principles for writing good contracts and supporting guidelines -- and demonstrate those principles with real-world Java and Eiffel code examples. They review the fundamentals of Design by Contract -- preconditions, postconditions and invariants -- and presenting a real-world example. Next, drawing on their unparalleled experience with Design by Contract, they present six powerful design principles -- each with a clear statement of goals, rationale, examples in both Java and Eiffel, and supporting notes. Developers will learn how to strengthen their components' internal support for contracts; how to use contracts to specify subclasses whose objects can safely be substituted for superclass objects; how to extend contract to specify and check properties that remain unchanged; and how to use contracts in analysis-level models. The book concludes by summarizing key principles and presenting a realistic cost/benefit analysis of their use.



Loppuunmyyty.
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Design by Contract, by Examplezoom
Näytä kaikki tuotetiedot
ISBN:
9780201634600
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste