jml

3зной

2ответ

Если заявление с возвращением в JML

мне нужно создать постусловие, который обеспечивает, чтобы вернуть нулевое значение, если size_ равно 0. На основании if(size_ == 0) return null; как я могу сделать это в JML? есть идеи? После

java annotations if-statement return-value jml 2010-12-06

---

1зной

3ответ

Является ли Java-модельный язык исполняемым?

Я изучаю курс разработки программного обеспечения, и там я видел использование JML. Вот пример кода: //@ requires f >= 0.0 public float sqrt(float f) { return f/2; } В нем говорится, что форм

java jml 2013-05-28

---

2зной

1ответ

JML Альтернативы

Я ищу альтернативные языки спецификаций для Java, например JML. Есть ли кто-нибудь знает? Спасибо.

java specifications jml 2011-01-08

---

2зной

1ответ

Как мы применяем JML (openJML) к Java-коду?

Как применить JML к Java-коду? Я все еще новичок в дизайне по контрактам и совершенно потерял, как применить его в программе. http://jmlspecs.sourceforge.net/ Использование: OpenJML Netbeans 7,3 Java

java netbeans contracts jml 2013-08-28

---

2зной

1ответ

Программная статическая проверка в OpenJML

В руководстве для OpenJML (http://jmlspecs.sourceforge.net/OpenJMLUserGuide.pdf) указано, что статическая проверка компонентов компиляции Java может выполняться программно. К сожалению, ручная запись

java static-analysis jml 2015-02-26

---

1зной

1ответ

Что означает «назначаемый a, a [*]; имею в виду?

Я недавно прочитал следующий Jml код в старом экзаменом: Class L { /*@non_null*/ int[] a; /*@ public normal_behaviour @ requires !(\exists int i; 0 <= i && i < a.length; a[i] == d);

jml 2015-03-04

---

0зной

1ответ

Как «уменьшается» в JML?

Заявление после decreases должно быть строго меньше в каждом цикле и всегда быть отличным от нуля. Но нужно ли это достигать 0? Нужно ли им уменьшать на единицу?

jml 2015-03-05

---