ส่งซอฟต์แวร์
  1. บ้าน
  2. Windows
  3. อื่นๆ
  4. Desing by Contract Utilities

Desing by Contract Utilities 0.4

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

โครงการจะให้ชุดเล็ก ๆ ของคลาสสาธารณูปโภคที่สามารถใช้งานได้สําหรับการตรวจสอบ invariants ชั้นก่อนและหลังเงื่อนไข

ประวัติรุ่น

  • เวอร์ชัน dbc-utilities0.4 โพสต์เมื่อ 2006-05-09
    การแก้ไขและการอัปเดตหลายรายการ
  • เวอร์ชัน dbc-utilities0.4 โพสต์เมื่อ 2006-05-09

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

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

  • ZABBIX ฟรี

    ZABBIX เป็นโซลูชันการตรวจสอบแบบกระจายโอเพ่นซอร์สระดับองค์กรที่ออกแบบมาเพื่อตรวจสอบและติดตามประสิทธิภาพและความพร้อมใช้งานของเซิร์ฟเวอร์เครือข่ายอุปกรณ์และทรัพยากรอื่น ๆ รองรับการตรวจสอบแบบกระจายและเว็บการค้นพบอัตโนมัติและอื่น

  • Fine ฟรี

    Fine เป็นส่วนประกอบของ SmallEiffel อย่างไรก็ตามในความพยายามที่จะปรับปรุง (?) ตามภาษาไอเฟลมันมีคุณสมบัติเพิ่มเติมและดัดแปลงบางอย่าง ทุกความพยายามจะทําเพื่อให้มันเข้ากันได้ขึ้น

  • FullPage for eBay (UK) ทดลองใช้ฟรี

    แอพนี้ช่วยให้คุณสามารถใช้ebay.co.ukได้ตามที่คุณต้องการจากคอมพิวเตอร์เดสก์ท็อปของคุณFullPage เปิด ebay ในเบราว์เซอร์ที่ออกแบบมาเพื่อช่วยเรียกดูและเพิ่มความเพลิดเพลินในการใช้เว็บไซต์ ebayลิงก์เมนูในตัวที่ให้ไว้เพื่อให้สา

  • GridSAM ฟรี

    GridSAM ให้บริการเว็บมาตรฐานแบบเปิดสําหรับการส่งงานเชิงคํานวณไปยังระบบการจัดการทรัพยากรแบบกระจายที่ใช้กันทั่วไปจํานวนมาก

  • ESMERALDA ฟรี

    ESMERALDA เป็นสภาพแวดล้อมการพัฒนาสําหรับสถิติตัวรู้จําที่ปฏิบัติการกับข้อมูลตามลําดับ (คําพูด ลายมือลําดับทางชีวภาพ) รองรับความหนาแน่นอย่างต่อเนื่องที่ซ่อนอยู่รุ่น Markov, รุ่น Markov chain (N-gramm) และ Gaussianรูปแบ

  • EditBox ฟรี

    EditBox เป็นปลั๊กอิน Eclipse สําหรับการเน้นพื้นหลังซอร์สโค้ด ในขณะที่ปลั๊กอินส่วนใหญ่เน้นไวยากรณ์ของซอร์สโค้ด EditBox จะเน้นบล็อกที่เลือกของโค้ดโดยการเปลี่ยนสีพื้นหลังและเส้นขอบรูปวาดรอบๆ

  • DataMiningGrid ฟรี

    เครื่องมือและบริการที่สอดคล้องกับ WSRF สําหรับการทําเหมืองข้อมูลในสภาพแวดล้อมการประมวลผลกริดตาม: Globus Toolkit 4, Condor และระบบเวิร์กโฟลว์ Triana เรียนรู้เพิ่มเติมได้ที่: http://www.datamininggrid.org (ค) 2008 DataMiningGri

  • Finch package dependency engine ฟรี

    Finch เป็นกลไกจัดการกราฟการพึ่งพาแพคเกจที่มีอินเทอร์เฟซในหลายภาษาการเขียนโปรแกรม (C, Obj-C, Perl ฯลฯ ) เป้าหมายสําหรับโครงการนี้คือการให้การเปลี่ยนที่แข็งแกร่งสําหรับกลไกการขึ้นต่อกันในปัจจุบันใน Fink (fink.sourceforge.net)

  • jpegEnc ฟรี

    เป้าหมายของ jpegEnc คือการให้ตัวเข้ารหัส JPEG พื้นฐาน คุณสมบัติที่สําคัญ: * พิมพ์เท้าเล็ก ๆ * เร็วกว่า libjpeg สองครั้ง * กระบวนการอยู่บนวงดนตรี เอาท์พุทไปยังบัฟเฟอร์ที่ระบุโดยผู้ใช้ *ที่ดีที่สุดสําหรับโครงการพิมพ์เท้าฝังหรือ

  • NLChunker ฟรี

    เครื่องหมายกลุ่มภาษาธรรมชาติเพื่อระบุกลุ่มคํานามและกลุ่มคํากริยาในวาทกรรมที่กําหนด