Корзина
0
Корзина
0
Добавьте в корзину товаров ещё на 900 гривен, чтобы БЕСПЛАТНО получить товар по Украине до отделения Новой почты.

Ваша корзина пустая

Меню
Основы программирования. Алгоритмы
Купить Design by Contract, by Example

Design by Contract, by Example

The first book of its kind to offer an example based approach to learning. If you are a developer seeking a way to improve your craft, this book will give you the necessary understanding of the concepts of contracts in software design. Softcover.

From the Back Cover

Design by contract is an underused--but powerful--aspect of the object-oriented software development environment. With roots in the Eiffel programming language, it has withstood the test of time, and found utility with other programming languages. Here, by using both the Eiffel and Java languages as guidance, Design by Contract, by Example paves the way to learning this powerful concept.

Through the following six teaching principles, the authors demonstrate how to write effective contracts and supporting guidelines. Readers will learn how to:

Separate queries from commands

Separate basic queries from derived queries

Write a postcondition for each derived query that specifies what result can be returned

Write a postcondition for each command that specifies the value of every basic query

Decide on a suitable precondition for every query and command

Write invariants to define unchanging properties of objects

Contracts are built of assertions, which are used to express preconditions, postconditions and invariants. Using the above principles, the authors provide a frank discussion of the benefits, as well as the potential drawbacks, of this programming concept. Insightful examples from both the Eiffel and Java programming languages are included, and the book concludes with a summary of design by contract principles and a cost-benefit analysis of their applications.

Design by Contract, by Example is the first book of its kind to offer an example-based approach to learning this important paradigm. If you are a developer seeking a way to improve your craft, this book will give you the necessary understanding of the concepts of contracts in software design.

248
Нет в наличии

Design by Contract, by Example

Купить Design by Contract, by Example
Артикул : 5743
Издательство : Addison Wesley
Автор : Mitchell Richard, McKim J
Язык : Английский
ISBN13 : 978-0-20-163460-0
EAN13 : 9780201634600
Страниц : 238
Год издания : 2002
Нет в наличии

Описание
The first book of its kind to offer an example based approach to learning. If you are a developer seeking a way to improve your craft, this book will give you the necessary understanding of the concepts of contracts in software design. Softcover.

From the Back Cover

Design by contract is an underused--but powerful--aspect of the object-oriented software development environment. With roots in the Eiffel programming language, it has withstood the test of time, and found utility with other programming languages. Here, by using both the Eiffel and Java languages as guidance, Design by Contract, by Example paves the way to learning this powerful concept.

Through the following six teaching principles, the authors demonstrate how to write effective contracts and supporting guidelines. Readers will learn how to:

Separate queries from commands

Separate basic queries from derived queries

Write a postcondition for each derived query that specifies what result can be returned

Write a postcondition for each command that specifies the value of every basic query

Decide on a suitable precondition for every query and command

Write invariants to define unchanging properties of objects

Contracts are built of assertions, which are used to express preconditions, postconditions and invariants. Using the above principles, the authors provide a frank discussion of the benefits, as well as the potential drawbacks, of this programming concept. Insightful examples from both the Eiffel and Java programming languages are included, and the book concludes with a summary of design by contract principles and a cost-benefit analysis of their applications.

Design by Contract, by Example is the first book of its kind to offer an example-based approach to learning this important paradigm. If you are a developer seeking a way to improve your craft, this book will give you the necessary understanding of the concepts of contracts in software design.

Рекомендуемые книги

Купить Класична листівка Ты – мой чемпион

Класична листівка Ты – мой чемпион

11 грн
Купить Облік в фермерських господарствах

Облік в фермерських господарствах

Нина Коваль, О. А. Подолянчук

320 грн
Купить Мечтай как женщина, побеждай как мужчина. Мужские секреты достижения успеха, которые должна знать каждая женщина

Мечтай как женщина, побеждай как мужчина. Мужские секреты достижения успеха, которые должна знать каждая женщина

Стив Харви

160 грн
Купить Excel 2016: профессиональное программирование на VBA

Excel 2016: профессиональное программирование на VBA

Майкл Александер, Дик Куслейка

900 грн
Купить Обоняние. Увлекательное погружение в науку о запахах

Обоняние. Увлекательное погружение в науку о запахах

Паоло Пелоси

230 грн
Купить Всемирная история. Викинги. История Завоеваний

Всемирная история. Викинги. История Завоеваний

Кирилл Галушко

150 грн
Купить Ладоньки. Серія Оченята

Ладоньки. Серія Оченята

45 грн
Купить Иммунитет. Как у тебя дела?

Иммунитет. Как у тебя дела?

Михаэль Хаух, Регина Хаух

180 грн
Купить Алгоритмы: построение и анализ. Том 1

Алгоритмы: построение и анализ. Том 1

Томас Х. Кормен, Чарльз И. Лейзерсон

630 грн
Купить The Little Mermaid / Русалонька. Рівень «Starter»

The Little Mermaid / Русалонька. Рівень «Starter»

Ханс Кристиан Андерсен

25 грн
Купить Начинаем программировать на Python

Начинаем программировать на Python

Тони Гэддис

1 380 грн
Купить Скретч карта мира My Map Flags edition (укр)

Скретч карта мира My Map Flags edition (укр)

450 грн
Купить Крепостная. Без права на любовь

Крепостная. Без права на любовь

150 грн
Купить Мати або бути?

Мати або бути?

Эрих Фромм

150 грн
Купить Третья волна интернета: какими качествами должен обладать предприниматель будущего

Третья волна интернета: какими качествами должен обладать предприниматель будущего

Стив Кейс

342 грн
Купить Romeo and Juliet. Ромео и Джульетта

Romeo and Juliet. Ромео и Джульетта

Уильям Шекспир

98 грн
Купить Кіношно. Графічна мандрівка світом кіно

Кіношно. Графічна мандрівка світом кіно

Эдвард Росс

189 грн
Купить Остров Сокровищ

Остров Сокровищ

Роберт Льюис Стивенсон

74 грн
Купить Гибкое сознание. Новый взгляд на психологию развития взрослых и детей

Гибкое сознание. Новый взгляд на психологию развития взрослых и детей

Кэрол Дуэк

430 грн
Купить Руководство по рисованию аниме

Руководство по рисованию аниме

Кристофер Харт

315 грн
Купить Спокойно, ты справишься! 101 способ избавиться от тревоги и стресса

Спокойно, ты справишься! 101 способ избавиться от тревоги и стресса

Доктор Томас МакДонах, Джон Патрик Хэтчер

375 грн
Купить Запах думки: вибрані оповідання

Запах думки: вибрані оповідання

Роберт Шекли

74 грн
Купить Хто як говорить

Хто як говорить

Оксана Радушинська

19 грн
Купить От атомов к древу. Введение в современную науку о жизни

От атомов к древу. Введение в современную науку о жизни

Сергей Ястребов

420 грн
Купить Папір кольоровий двосторонній (10 арк/5 неон+5 звич), А4 Kite Jolliers

Папір кольоровий двосторонній (10 арк/5 неон+5 звич), А4 Kite Jolliers

30 грн
Купить Начало бесконечности: Объяснения, которые меняют мир

Начало бесконечности: Объяснения, которые меняют мир

Дэвид Дойч

420 грн
Купить Сводные таблицы в Microsoft Excel 2016

Сводные таблицы в Microsoft Excel 2016

Билл Джелен, Майкл Александер

810 грн
Купить Русско-английский разговорник

Русско-английский разговорник

Олег Таланов

25 грн
Купить Python и анализ данных

Python и анализ данных

Уэс Маккини

1 610 грн
Купить Дом, в котором...

Дом, в котором...

Мариам Петросян

550 грн
Купить Пенітенціарна психологія: Навчальний посібник

Пенітенціарна психологія: Навчальний посібник

Руслан Кацавець

80 грн
Купить Божественная Комедия

Божественная Комедия

Данте Алигьери

64 грн
Купить V – значит Vендетта

V – значит Vендетта

Алан Мур, Дэйв Гиббонс

570 грн
Купить Иные боги и другие истории

Иные боги и другие истории

Говард Филлипс Лавкрафт

230 грн
Купить Robinson Crusoe / Робинзон Крузо. Рівень «Pre-Intermediate»

Robinson Crusoe / Робинзон Крузо. Рівень «Pre-Intermediate»

Даниель Дефо

47 грн
Купить Богатый папа, бедный папа

Богатый папа, бедный папа

Роберт Кийосаки

445 грн
Купить Академія «Парасоля». Апокаліптична сюїта. Книга 1

Академія «Парасоля». Апокаліптична сюїта. Книга 1

Джерард Вей

315 грн
Купить One-Punch Man. Кн.7

One-Punch Man. Кн.7

ONE

250 грн
Купить Как встретить и сохранить настоящую Любовь

Как встретить и сохранить настоящую Любовь

Елена Рыхальская

160 грн
Купить Как учить иностранные языки

Как учить иностранные языки

Алексей Бессонов, Марина Рубан

245 грн

Книги из категории "Книги по программированию"

Купить Изучаем PHP 7: руководство по созданию интерактивных веб-сайтов

Изучаем PHP 7: руководство по созданию интерактивных веб-сайтов

Дэвид Скляр

630 грн
Купить Концептуальная модель комплекса средств лингвистического и программного обеспечения экспертно-поиско

Концептуальная модель комплекса средств лингвистического и программного обеспечения экспертно-поиско

Пономарев В.В.

71 грн
36 грн
Купить Автоматизация рутинных задач с помощью Python: практическое руководство для начинающих

Автоматизация рутинных задач с помощью Python: практическое руководство для начинающих

Эл Свейгарт

720 грн
Купить Python для детей. Самоучитель по программированию

Python для детей. Самоучитель по программированию

Джейсон Бриггс

520 грн
Купить Adobe Flash CC. Официальный учебный курс. +CD.

Adobe Flash CC. Официальный учебный курс. +CD.

760 грн
456 грн
Купить Гибкая разработка программ на Java и C++: принципы, паттерны и методики

Гибкая разработка программ на Java и C++: принципы, паттерны и методики

Роберт C. Мартин

1 080 грн
Купить Разработка приложений Java EE 6 в NetBeans 7

Разработка приложений Java EE 6 в NetBeans 7

Дэвид Хеффельфингер

667 грн
467 грн
Купить 100 примеров на СИ

100 примеров на СИ

Кольцов Д. М.

285 грн
Купить Стандартная библиотека Python 3: справочник с примерами

Стандартная библиотека Python 3: справочник с примерами

Даг Хеллман

1 080 грн
Купить Язык программирования C++. Краткий курс

Язык программирования C++. Краткий курс

Бьярне Страуструп

495 грн
Купить Язык R в задачах науки о данных: импорт, подготовка, обработка, визуализация и моделирование данных (полноцветное издание)

Язык R в задачах науки о данных: импорт, подготовка, обработка, визуализация и моделирование данных (полноцветное издание)

Гарретт Гроулмунд , Хэдли Уикем

900 грн
Купить Цифрові Діти. Кодінг. CanCode  Go!

Цифрові Діти. Кодінг. CanCode Go!

50 грн
Купить Цифрові Діти. Кодінг. CanCode SCR3

Цифрові Діти. Кодінг. CanCode SCR3

50 грн
Купить Программирование на языке OCaml

Программирование на языке OCaml

Ярон Мински

850 грн
425 грн
Купить Алгоритмы: построение и анализ. Том 1

Алгоритмы: построение и анализ. Том 1

Томас Х. Кормен, Чарльз И. Лейзерсон

630 грн
Купить JRuby. Сборник рецептов.

JRuby. Сборник рецептов.

Эдельсон Д., Лю Г.

240 грн
120 грн
Купить Чиста архітектура

Чиста архітектура

Роберт Мартін

430 грн
Купить C++ для чайников

C++ для чайников

Стефан Рэнди Дэвис

330 грн
Купить HTML5: карманный справочник

HTML5: карманный справочник

Дженнифер Нидерст Роббинс

270 грн
Купить Совершенный код. Мастер-класс

Совершенный код. Мастер-класс

Стив Макконнелл

1 200 грн

Цитаты пользователей

Всего цитат
0

Только зарегистрированные пользователи могут оставлять комментарии. Войдите, пожалуйста.

Отзывы

Отзывы
0 рецензий

Только зарегистрированные пользователи могут оставлять комментарии. Войдите, пожалуйста.
Все права защищены © 2003-2021 Bookzone.com.ua              Условия использования | Политика конфиденциальности
Интеграция сайта с 1С: ©SUPC