design-by-contract

1зной

1ответ

Способы указать, поддерживается ли функция в контракте

У меня есть интерфейс, хотя он также может быть абстрактным классом, который должен позволить его разработчикам указать, поддерживают ли они определенную функцию, и я ищу лучший способ достичь этого.

c# .net interface abstract-class design-by-contract 2013-04-26

---

2зной

3ответ

не удалось настроить cofoja на eclipse

Eclipse обновлен, cofoja тоже, а также java jre/jdk. ASM должен быть включен в cofoja, но я скачал 3.3 на всякий случай. Я следил за всеми процедурами, которые я мог найти в Интернете, но первое затме

java eclipse configuration design-by-contract 2013-04-29

---

3зной

1ответ

Как класс инвариант усиливает pre и post-conditions?

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

domain-driven-design design-by-contract invariants preconditions post-conditions 2013-05-02

---

1зной

1ответ

ACSL-аннотации на макросах C

Можно ли комментировать макросы C с помощью ACSL? например: /*@ assigns \nothing; behavior xmin: assumes x < y; ensures \result == x; behavior ymin: assumes y <= x;

c static-analysis c-preprocessor design-by-contract frama-c 2013-03-28

---

0зной

4ответ

Технический термин для методов, которые мутируют глобальное состояние?

Существует ли стандартный технический термин для методов, которые мутируют глобальное состояние? « недостаточной чистоты» является слишком строгим, потому что методы println("I don't consider stdout t

methods language-agnostic design-by-contract purely-functional 2013-05-23

---