Extended NuSMV 1.1

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

• Voice Widget ฟรี

  เริ่มเครื่องบันทึกเสียง, Youtube, TV หรือวิทยุ, Explorer หรือค้นหาได้ในคลิกเดียววิดเจ็ตที่สวยงาม 2 ตัวเพื่อเชื่อมโยงเครื่องบันทึกเสียงโทรศัพท์ของคุณ Youtube ทีวีหรือวิทยุสํารวจหรือค้นหา สไตล์การออกแบบเป็นเหมือน HTC Senseส

• ZIPCodeWorld Store Locator .NET Component ทดลองใช้ฟรี

  ZIPCodeWorld Store Locator .NET เป็นตัวควบคุมตัวระบุตําแหน่งร้านค้าสําหรับนักพัฒนา .NET ทั้งหมด บริการค้นหาร้านค้าในสหรัฐอเมริกาหรือแคนาดาของคุณเองสามารถทํางานได้ภายในไม่กี่นาที ZIPCodeWorld Store Locator .NET ให้ตัวควบคุมการ

• Mobile Data On/Off Toggle ฟรี

  ข้อมูลมือถือเปิด / ปิดสลับข้อมูลเปิด / ปิดสลับสลับข้อมูลเปิด / ปิดสวิตช์สลับสลับข้อมูล OnOff - ซอฟต์แวร์นี้จําเป็นต้องเปิดใช้งาน & quot;ข้อมูลมือถือ & quot; ในการตั้งค่าระบบ . ซอฟต์แวร์ควบคุมข้อมูลมือถือที่ง่ายมาก! สน

• OCF Resource Agent for SAP ฟรี

  ให้ตัวแทนทรัพยากรที่เข้ากันได้กับ OCF (Open Cluster Framework) เพื่อเรียกใช้ซอฟต์แวร์ SAP ในคลัสเตอร์ความพร้อมใช้งานสูงของ Linux (เช่นโครงการ Linux-HA)

• Wintermute Engine DevKit ฟรี

  Wintermute Engine Development Kit เป็นชุดเครื่องมือสําหรับการสร้างและใช้งานเกมผจญภัยแบบจุดกราฟิกและคลิกทั้งเกม 2D แบบดั้งเดิมและเกม 2.5D ที่ทันสมัย (ตัวละคร 3 มิติบนพื้นหลัง 2 มิติ)

• Aginity Netezza Workbench ฟรี

  Aginity เป็นพันธมิตรผู้ให้บริการโซลูชัน Netezza Workbench เกิดจากความต้องการเครื่องมือเฉพาะของเราเพื่อสนับสนุนประสบการณ์ที่กว้างขวางของเราในการพัฒนาระบบขนาดใหญ่บนเครื่องใช้ Netezza Workbench มีคุณสมบัติที่เป็นเอกลักษณ์ระหว่าง

• xUnit - Unit Testing Framework ฟรี

  xUnit เป็นกรอบการทดสอบหน่วยลักษณะ XP xUnit ใช้โพรโทคอลระหว่างส่วนหน้าเพื่อแสดงผลลัพธ์การทดสอบและโปรแกรมควบคุมการทดสอบที่เชื่อมโยงกับโปรแกรมประยุกต์ - การเอาการขึ้นต่อกันของเวลาการเชื่อมโยงระหว่างโปรแกรมประยุกต์และกราฟิกไลบราร

• perf2rrd ฟรี

  perf2rrd เป็นโปรแกรมที่เขียนใน Java (tm) ซึ่งจับเอาต์พุตข้อมูลประสิทธิภาพโดยระบบตรวจสอบ Nagios (R) และจัดเก็บไว้ในไฟล์ฐานข้อมูลโรบินกลมเป็น implememented โดย RRDtool

• MisterHouse: Home Automation with Perl ฟรี

  MisterHouse เป็นโปรแกรมระบบอัตโนมัติภายในบ้านของ Windows/Unix ที่เขียนใน Perl มันสามารถตอบสนองต่อคําสั่งเสียงเว็บเบราว์เซอร์เวลาของวันพอร์ตอนุกรมและข้อมูล X10 ไฟล์ภายนอก ฯลฯ และสามารถพูดผ่านเครื่องมือ Text to Speech

• IFM - Interface Management System ฟรี

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