jml

0зной

1ответ

Что такое постулирование метода java PriorityQueue.remove (Object)?

Я изучаю спецификации JML для метода java.util.PriorityQueue.remove (Object object). До сих пор я думал о следующих предварительных условиях: //@ requires object != null; //@ requires this.size() > 0

2зной

1ответ

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

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

2зной

1ответ

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

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

0зной

1ответ

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

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

1зной

3ответ

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

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

0зной

2ответ

android: jml библиотека для msn не работает на Android 2.1?

Мне удалось подключиться к msn через jml-библиотеку на Android, добавив класс getpropertyaction в мой проект. На Android 2.2 работает просто отлично, я могу войти в систему, получить контакты, отправл

1зной

1ответ

JML: \ exists & JMLObjectSequence

im пытается доказать, существует ли объект с определенным статусом в моей коллекции. Моя коллекция состоит из объектов с методом getStatus(). Теперь я хочу доказать, есть ли объект с данным статусом в

2зной

1ответ

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

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