jml

1열

3답변

나는 소프트웨어 공학 과정을 공부하고 있는데 JML의 사용법을 보았다. 다음은 코드 예제입니다 : //@ requires f >= 0.0 public float sqrt(float f) { return f/2; } 공식 JML 사양이 실행 가능합니다. 제 질문은이 sqrt 함수를 f = -4와 함께 호출 할 때이 코드가 오류를 발생 시키거나

0열

2답변

android : MSN 용 jml 라이브러리가 android 2.1에서 작동하지 않습니까?

저는 프로젝트에서 getpropertyaction 클래스를 추가하여 안드로이드의 jml 라이브러리를 통해 MSN에 연결할 수있었습니다. 안드로이드 2.2 잘 작동, 연락처, 메시지를 보내고받을 수있는 메시지 및 기타 .. 012에 로그인 버튼을 누르면 안드로이드 2.1 그것은 나를 로그인하지 않습니다 ... 나는 ' t는 .. 그것은 단지의 유지 로그 (D

1열

1답변

JML : \ 존재 및 JMLObjectSequence

내 컬렉션에 특정 상태의 개체가 있는지를 증명하려고 시도하고 있습니다. 내 컬렉션은 getStatus()라는 메서드를 사용하여 객체로 구성됩니다. 이제이 컬렉션에 주어진 지위를 가진 물건이 있는지 증명하고 싶습니다. @ requires (\exists int i; 0 <= i && i < sizeLimit; orders[i].getStatus().equal

3열

1답변

JML 용 간단한 파서

JML을 읽을 수있는 Java로 작성된 파서를 찾고 있습니다. 기본적으로 파서가 JML 블록을 읽고 어떤 메소드에 속해 있는지 알고 싶습니다. 저는 OpenJML 프로젝트를보고 있었지만 프로젝트 설정이 너무 많습니다.

0열

1답변

JML에서 참조가있는 정렬 방법이 필요합니다.

JML에 대한 정렬 방법이 필요합니다. 내가 왜 bubblesort를 시도했는지는 알지만, 필요한 것은 무엇인지, maintaingins는 필요한지 모르겠습니다. 나는이 언어로 새로운 사람이다. public class BubbleSortExample { //@ references static void bubbleSort(int[] arr)

2열

1답변

JML 대안

JML과 같은 Java의 대체 사양 언어 옵션을 찾고 있습니다. 아무도 알고 있나요? 감사합니다.

0열

1답변

JML 메신저 라이브러리에서 http 프록시를 설정하는 방법

자바를 사용하여 간단한 MSN 클라이언트를 개발하고 있지만 JML 라이브러리를 사용하여 http 프록시 매개 변수를 설정하는 방법을 모르겠습니다. 분명히 도서관에서 네이티브가 아닙니다./

0열

1답변

JML의 자바 정렬 방법

JML에 대한 정렬 방법이 필요합니다. 삽입 정렬을 시도했지만 필요한 항목과 필요한 항목 또는 maintaingins을 모르겠습니다. 도와주세요. // @ requires, // @ ensure 및 // @ maintain이 필요합니다. public class InsertionSort { void sort(int arr[]) { int n

1열

1답변

JML 유형을 찾을 수 없습니다.

일부 간단한 클래스를 테스트하기 위해 JML을 사용하고 있습니다. Interval.java, SequenceInterval.java 및 TestSequence.java 클래스가 모두 동일한 패키지 (기본 패키지)에 있습니다. 나는 그것이 같은 오류를 보여줍니다 jmlc 사용 SequenceInterval를 컴파일 할 때 : D:\work_java\VV_La

2열

1답변

Java 코드에 JML (openJML)을 어떻게 적용합니까?

JML을 Java 코드에 어떻게 적용합니까? 저는 Design by Contracts에서 여전히 새롭고 프로그램에 그것을 적용하는 방법에 대해 매우 분실했습니다. http://jmlspecs.sourceforge.net/ 사용 : OpenJML 넷빈즈 7.3 자바 SDK 1.7 을 이미 넷빈즈의 클래스 경로에 OpenJML jar 파일을 추가 한 . cof