ส่งซอฟต์แวร์
  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เว็บไซต์ทําให้ง่ายต่อการเข้าถึงเว็บไซต์ Flickrappjungle.netไม่เกี่ยวข้องกับ Flickr(เครื่องหมายการค้าทั้งหมดเป็นของเจ้าของที่เกี่ยวข้อง)ข้อจํากัดความรับผิดชอบมาตรฐาน:กา

  • MGP ฟรี

    ปลั๊กอิน Maven GWT ใช้ในการคอมไพล์ไฟล์ต้นฉบับ JavaScript จากแหล่ง Java ปลั๊กอินเรียกใช้ GWTCompiler ช่วยให้สามารถกําหนดค่าตัวเลือกคอมไพเลอร์ตรวจจับตําแหน่งไฟล์ต้นทางและทรัพยากรโดยอัตโนมัติ ไม่จําเป็นต้องติดตั้ง GWT ภายในเครื่

  • Delta Compositor ฟรี

    Delta Compositor เป็นแพ็คเกจการแต่งเพลงภาพยนตร์ระดับไฮเอนด์และเอฟเฟกต์พิเศษ มันอยู่ในการพัฒนาในช่วงต้นมาก ขณะนี้มีเวอร์ชันที่ใช้สคริปต์พร้อมใช้งานแล้ว ปัจจุบัน GUI กําลังวางแผนและพัฒนาอยู่

  • Database Access Framework ฟรี

    บล็อกโปรแกรมประยุกต์การเข้าถึงข้อมูลรุ่นที่ได้รับการปรับปรุงจากรูปแบบและแนวทางปฏิบัติของ Microsoft ไลบรารีองค์กร 2.0

  • jDummy ฟรี

    jDummy เป็นส่วนขยายของ jMock ห้องสมุดสําหรับการทดสอบรหัส Java ด้วยวัตถุจําลอง jDummy ลดรหัสที่จําเป็นในการแสดงคาดหวังที่เกี่ยวข้องโดยการสร้างค่าหุ่นและวัตถุล้อเลียนระดับกลางที่จําเป็นในการแสดงให้พวกเขา

  • ALPprolog ฟรี

    ALPprolog เป็นการดําเนินการ Prolog ของภาษาการเขียนโปรแกรมการดําเนินการ ด้วย ALPprolog คุณสามารถตั้งโปรแกรมกลยุทธ์สําหรับตัวแทนอิสระในโดเมนแบบไดนามิกเช่นโลก Wumpus

  • C++ Object Interfacing Dispatcher ฟรี

    COID เป็นไลบรารีระบบเครือข่ายที่ให้บริการวัตถุ C++ พร้อมเครื่องมือที่สร้างเลเยอร์การสื่อสารที่มีน้ําหนักเบาโดยอัตโนมัติโดยตรงจากการประกาศคลาส C++