ส่งซอฟต์แวร์
  1. บ้าน
  2. Windows
  3. อื่นๆ
  4. Overture: Formal modelling in VDM

Overture: Formal modelling in VDM

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

โครงการ Overture กําลังพัฒนาชุดปลั๊กอิน Eclipse โอเพ่นซอร์สเพื่อสนับสนุนการรวมเครื่องมือสร้างแบบจําลอง VDM ต่างๆ (วิธีการพัฒนาเวียนนา) จุดมุ่งหมายคือการให้การสนับสนุนสําหรับเครื่องมือ VDM ที่มีอยู่ทั้งหมดและภาษาถิ่น

ประวัติรุ่น

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

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

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

  • 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 รวมทั้งวิธีการส่งสัญญาณไปยังช่องสัญญาณจะถูกสร้างขึ้นโดยอัตโนมัติผ่านเครื่องมือประมวลผลคําอธิ