ส่งซอฟต์แวร์
  1. บ้าน
  2. Linux
  3. อื่นๆ
  4. The Checker Framework

The Checker Framework

ใบ อนุญาต: ฟรี ‎ขนาดแฟ้ม: N/A
‎คะแนนจากผู้ใช้: 4.0/5 - ‎1 ‎โหวต
ดาวน์โหลด

กรอบงาน Checker เป็นชุดของการตรวจสอบ / การแปลงที่ขยายได้ง่ายเพื่อสร้างลําดับชั้นของการดําเนินงานห่วงโซ่ได้อย่างง่ายดายเพื่อจัดเก็บ / ที่จะสร้างและใช้งานใหม่ (ในเวลาทํางานถ้าคุณต้องการ)

ประวัติรุ่น

  • เวอร์ชัน files โพสต์เมื่อ 2010-06-21
    การแก้ไขและการอัปเดตหลายรายการ
  • เวอร์ชัน N/A โพสต์เมื่อ 2010-06-21

รายละเอียดหลักสูตร

หลักสูตรที่เกี่ยวข้อง

  • ajaxWM ฟรี

    ajaxWM เป็นผู้จัดการหน้าต่างที่ใช้ ajax และ python ซึ่งสามารถเคลื่อนย้ายได้ซึ่งให้เทอร์มินัลที่มีความยืดหยุ่นหลายตัวในเว็บเบราว์เซอร์เพื่อการควบคุมระยะไกลที่สะดวกสบายของคอมพิวเตอร์ผ่านเครือข่ายโดยไม่ต้องติดตั้งซอฟต์แวร์ใด ๆ บ

  • Twick.it API Wrapper ฟรี

    หากคุณต้องการใช้Twick.it API คุณควรดูที่กระดาษห่อนี้ เพียงแค่เรียกวิธีการแบบคงที่คุณสามารถอ่านข้อมูลจาก API และไม่ต้องกังวลกับสิ่งที่เหลือทั้งหมดเช่นการส่งคําขอ HTTP หรือการแยกวิเคราะห์ข้อมูล XML

  • WURDE ฟรี

    WURDE เป็นมิดเดิลแวร์สําหรับการพัฒนาแอปพลิเคชันหุ่นยนต์ มันถูกออกแบบมาเพื่อให้ง่ายต่อการพัฒนาและง่ายต่อการเพิ่มการสนับสนุนสําหรับโปรโตคอลการสื่อสารทางเลือก มันมีระบบการจัดการโมดูล

  • vTpl - Templating System ฟรี

    vTpl เป็นระบบการบินชั่วคราวสําหรับเว็บไซต์แบบไดนามิก vTpl มีไว้สําหรับนักพัฒนาที่ต้องการนําตรรกะการแสดงผลของพวกเขาออกไปจากตรรกะทางธุรกิจโดยไม่มีระบบการล่อลวงขนาดใหญ่ VTpl สนับสนุนสมาร์ทแคชที่จะเพิ่มความเร็วในการโหลดครั้ง

  • KML share ฟรี

    kmlshare เป็นซอฟต์แวร์เว็บไซต์ที่ใช้ Google Maps api ผู้ใช้สามารถอัปโหลดไฟล์ kml ไปยังเว็บไซต์ซึ่งถูกแยกวิเคราะห์และเครื่องหมายสถานที่จะถูกเก็บไว้ในฐานข้อมูลทําให้เนื้อหาสามารถเรียกดูได้และค้นหาได้ ดูการสาธิตhttp://www.vansha

  • PHersistence ฟรี

    PHersistence เป็นกรอบการคงอยู่เชิงสัมพันธ์ของวัตถุที่ทรงพลังที่เขียนขึ้นสําหรับ PHP มีวัตถุประสงค์เพื่อให้ครอบคลุมแบ็กเอนด์ฐานข้อมูลที่ใช้กันมากที่สุดจาก db2 ไปยัง MySQL และความคืบหน้า เป้าหมายของ PHersistence คือการแนะนําการ

  • Lamino ฟรี

    Lamino เป็น metalanguage การกําหนดค่าระดับสูงที่ช่วยเพิ่ม IoC พื้นฐาน (การผกผันของการควบคุม a.k.a. การฉีด Dependency) ด้วยเลเยอร์การกําหนดค่าและส่วนประกอบห่อหุ้ม

  • PIES 3.14159... complement ECMAScript 3! ฟรี

    PIES ให้กลไกแพคเกจ / นําเข้าซึ่งขาดใน ES3 (ECMAScript ภาษาสเปครุ่นที่ 3 มาตรฐานสําหรับ JavaScript, JScript) และด้วยไลบรารีที่เลือกมากมาย PIES จะเสริม ES3!

  • Kaolak Community System ฟรี

    Kaolak เป็นชุมชนบนเว็บ sytem ที่ทํางานบน Apache กับ PHP4 และ MySql ชุมชนถูกกําหนดโดยผู้ใช้และเอกสารและรูปแบบสาขา kaolak Kaolak ถูกออกแบบมาเพื่อจัดการกับหลายสาขาอย่างโปร่งใสจากกันและกัน

  • bisrulz ฟรี

    กลไกจัดการกฎที่ขับเคลื่อนด้วยข้อมูลเมตาที่ใช้ Java เอ็นจินนี้จะช่วยให้คุณกําหนดค่าข้อมูลเมตาเฉพาะโดเมนของคุณเอง มันมีคุณสมบัติเช่นคําจํากัดความกฎแบบไดนามิกการล่ามโซ่กฎและง่ายต่อการกําหนดกฎ