Overture: Formal modelling in VDM

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

• Mkulu QA Proxy ฟรี

  พร็อกซี Mkulu QA ใช้เพื่อดูรายละเอียดของแพ็คเก็ต HTTP มันเป็นเครื่องมือที่มีประโยชน์สําหรับการพัฒนาเว็บและการทดสอบ งานกําลังดําเนินอยู่เพื่อเพิ่มฟังก์ชันการทํางานของเครื่องมือ พร็อกซีสามารถแยกวิเคราะห์โพรโทคอล AMF ไบนารีที่ใช

• Illumination ฟรี

  การส่องสว่าง - ห้องสมุด C++ GUI ที่เป็นอิสระจาก Plattform คุณสมบัติที่สําคัญ: ความสามารถในการกําหนด, การสนับสนุนคําอธิบายพื้นผิว XML, เครื่องมือจัดเค้าโครงที่ดี, ความรู้สึกแบบอักษร, แบ็กเอนด์สําหรับ X11, Windows, Carbon และคํ

• HMM Based Chinese Segmentor ฟรี

  นี่คือโครงการที่ใช้อินเทอร์เฟซของเครื่องวิเคราะห์ลูซีนเพื่อขยายการทํางานของการรับมือกับปัญหาการแบ่งส่วนภาษาจีนตามแบบจําลองทางสถิติ (Hiden Marcov Model)

• NHibernateIt ฟรี

  NHibernateIt เป็นตัวช่วยการจัดการเซสชันแบบ NHibernate และให้การดําเนินการ CRUD ขั้นพื้นฐานรางคลาสที่เก็บ แรงบันดาลใจจากโครงการ NHibernator oracleatdotnet.com

• AstroWeka ฟรี

  AstroWeka เป็นชุดของขอบเขตของ Weka ซึ่งเป็นโปรแกรมการทําเหมืองข้อมูลยอดนิยมซึ่งช่วยให้สามารถทํางานกับข้อมูลดาราศาสตร์ได้โดยตรงในหอดูดาวเสมือนจริง

• CalFaces ฟรี

  CalFaces (ก่อนหน้านี้ jsforganiser) เป็นคอลเลกชันของส่วนประกอบ JavaServer Faces สําหรับใช้ในแอปพลิเคชัน PIM บนเว็บให้ปฏิทินสไตล์ Outlook พร้อมมุมมองวันการทํางานสัปดาห์และเดือนรวมถึงการวางแผนการประชุม

• Complement ฟรี

  ไลบรารี C++ แบบหลายรูปแบบ 1.xmt: อินเตอร์เฟซการเขียนโปรแกรมแบบพกพาเพื่อสร้างหลายthreaded( mt) การใช้งานหรือห้องสมุด; 2.sockios: อินเตอร์เฟซซ็อกเก็ต( c++ioสตรีม); 3.stem: จํากัดรัฐเครื่อง/กรอบการสื่อสาร( การสื่อสารกับev

• H3xC4T ฟรี

  H3xC4T อ่านไฟล์ไบนารีและแสดงเนื้อหาเลขฐานสิบหกที่สั่งซื้อในคอลัมน์... ในอนาคตฉันจะเพิ่มคุณสมบัติบางอย่างเช่นการแปลงไบนารีธรรมดาหรือถอดชิ้นส่วน

• Charset detector ฟรี

  ไลบรารีสําหรับการตรวจหาชุดอักขระอัตโนมัติของข้อความหรือแฟ้มที่กําหนด บัฟเฟอร์อินพุทจะถูกวิเคราะห์เพื่อคาดเดาการเข้ารหัสที่ใช้ ผลลัพธ์ (ชื่อ charset หรือรหัสโค้ดเพจ) สามารถใช้เป็นพารามิเตอร์ตัวควบคุมสําหรับการสนทนา charset ได้

• Java Signal/Slot with Annotations ฟรี

  ไลบรารีนี้เป็น API สัญญาณ/สล็อตสําหรับ Java 5.0 ที่ใช้คําอธิบายประกอบเพื่อทําเครื่องหมายสัญญาณ/สล็อต คลาสย่อยที่มี enums signal/slot รวมทั้งวิธีการส่งสัญญาณไปยังช่องสัญญาณจะถูกสร้างขึ้นโดยอัตโนมัติผ่านเครื่องมือประมวลผลคําอธิ