Pull to refresh
  • by relevance
  • by date
  • by rating

[C++]Проектирование по контракту и принцип LSP на примере «Почему класс Человек не может быть подтипом класса Камин»

Lumber room
«Принцип подстановки Лисков(LSP)» и «Проектирование по контракту (DbC)»- хорошо объясняется в этой англоязычной PDF

Объясню в 2 словах, что это такое:
DbC: функции снабжаются предусловиями(preconditions) и постусловиями(postconditions).
Читать дальше →
Total votes 8: ↑8 and ↓0 +8
Views 480
Comments 9

Google упрощает контрактное программирование

Java *
Google выпустил открытую библиотеку Contracts for Java, которая упрощает реализацию методов контрактного программирования в Java. С помощью библиотеки Contracts for Java предусловия, постусловия и инварианты можно добавлять в Java как булевые выражения внутри аннотаций.

Как сказано в официальном анонсе, библиотека разработана двумя программистами Google в свободное от основной работы время (20% на личные проекты) и основана на Modern Jass и сделана под впечатлением от языка Эйфель, в котором впервые был реализован метод контрактного программирования.
Читать дальше →
Total votes 49: ↑39 and ↓10 +29
Views 2.3K
Comments 36

Контрактное программирование в PHP

Website development *PHP *
Контрактное программирование В реальной жизни мы повсюду сталкиваемся с различными контрактами: при устройстве на работу, при выполнении работ, при подписании взаимных соглашений и многими другими. Юридическая сила контрактов гарантирует нам защиту интересов и не допускает их нарушения без последствий, что дает нам уверенность в том, что те пункты, которые описаны в контракте — будут выполнены. Эта уверенность помогает нам планировать время, планировать расходы, а также планировать необходимые ресурсы. А что если и программный код будет описываться контрактами? Интересно? Тогда добро пожаловать под кат!
Читать дальше →
Total votes 55: ↑43 and ↓12 +31
Views 29K
Comments 63