소프트웨어 제출
  1. 홈
  2. Linux
  3. 다른
  4. Java Modeling Language (JML)

Java Modeling Language (JML)

라이센스: 무료 ‎파일 크기: N/A
‎사용자 평가: 4.0/5 - ‎1 ‎투표
다운로드

Java 모델링 언어(JML)는 Java 모듈의 동작을 지정하는 데 사용할 수 있는 동작 인터페이스 사양 언어입니다(계약별로 설계된 대로 DBC). 어설션 검사, 단위 테스트 등을 수행하는 많은 도구가 있습니다.

버전 기록

  • 버전 plugins 에 게시 2011-02-13
    몇 가지 수정 및 업데이트
  • 버전 N/A 에 게시 2011-02-13

프로그램 세부 정보

관련 프로그램

  • OpenSeeds 무료

    OpenSeeds는 LAMP 환경을 위해 설계된 오픈 소스 웹 개발 프레임워크 및 개체 모델입니다. 복잡한 시스템을 염두에 두고 설계되었습니다. 프레임워크 자체는 경량입니다. 개체 모델은 단순합니다.

  • JNI++ 무료

    이 프로젝트는 두 개의 코드 생성 유틸리티와 C++의 JNI에 대한 프로그래밍을 간소화하는 핵심 C++ 라이브러리를 제공합니다.

  • Almende's Abbey Agent Kernel 무료

    이 프로젝트는 분산 에이전트 기반 응용 프로그램을 빌드하기 위한 간단한 커널을 제공합니다. 데이터 흐름 프로그래밍의 기본 원칙이 다중 에이전트 환경에 대한 조정 언어를 설계하는 데 적합하다는 생각을 기반으로 합니다.

  • Flicky Web Launcher 무료 평가판

    이 응용 프로그램은 About.com 사이트를 실행 단지 아이콘입니다.플리커 웹 사이트에 쉽게 도착할 수 있습니다.appjungle.net 플리커와 제휴하지 않습니다.(모든 상표는 해당 소유자가 소유합니다)표준 면책 조항:모든 사용은 자신의 위험에 처해 있습니다.다운로드하여 동의합니다.

  • MGP 무료

    메이븐 GWT 플러그인은 자바 소스에서 자바 스크립트 소스 파일을 컴파일하는 데 사용됩니다. 플러그인은 GWT컴파일러를 실행, 컴파일러 옵션을 구성 할 수 있습니다, 자동으로 소스 및 리소스 파일 위치를 감지. 로컬 GWT 설치가 필요하지 않습니다.

  • Delta Compositor 무료

    델타 콤포지터는 하이 엔드 영화 합성 및 특수 효과 패키지입니다. 그것은 매우 초기 개발에. 이제 스크립트 기반 버전을 사용할 수 있습니다. GUI는 현재 계획 및 개발 중입니다.

  • Database Access Framework 무료

    Microsoft 패턴에서 데이터 액세스 응용 프로그램 블록의 향상된 버전 & 엔터프라이즈 라이브러리 2.0을 연습합니다.

  • jDummy 무료

    jDummy는 jMock에 대한 확장, 모의 개체와 자바 코드를 테스트하기위한 라이브러리입니다. jDummy는 더미 값과 이를 표현하는 데 필요한 중간 조롱 객체를 생성하여 관련 예상을 표현하는 데 필요한 코드를 줄입니다.

  • ALPprolog 무료

    ALPprolog는 작업 프로그래밍 언어의 프롤로그 구현입니다. ALPprolog를 사용하면 Wumpus 세계와 같은 동적 영역에서 자율 에이전트를 위한 전략을 프로그래밍할 수 있습니다.

  • C++ Object Interfacing Dispatcher 무료

    COID는 C++ 개체 제공 네트워킹 라이브러리로 C++ 클래스 선언에서 직접 경량 통신 계층을 자동으로 생성하는 도구입니다.