ส่งซอฟต์แวร์
  1. บ้าน
  2. Windows
  3. อื่นๆ
  4. Maude MSOS Tool

Maude MSOS Tool

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

เครื่องมือ Maude MSOS เป็นสภาพแวดล้อมที่เป็นทางการสําหรับข้อกําหนดของข้อกําหนดด้านโครงสร้างการทํางานแบบแยกส่วน มันมีประโยชน์อย่างยิ่งสําหรับข้อกําหนดอย่างเป็นทางการของภาษาการเขียนโปรแกรมและระบบที่เกิดขึ้นพร้อมกัน

ประวัติรุ่น

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

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

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

  • Intuitive Neural Network ฟรี

    เครือข่ายประสาทที่ใช้งานง่ายเป็นซอฟต์แวร์ที่ยึดไว้เพื่อวัตถุประสงค์ CAE (การศึกษาช่วยเหลือคอมพิวเตอร์) ในปัญญาประดิษฐ์

  • Digital Camera EXIF Backup ฟรี

    แอปพลิเคชัน Java สํารอง EXIF อย่างง่ายที่อ่านวันที่นําแท็กจากภาพและโคลนไฟล์ไปยังตําแหน่งเป้าหมายโดยใช้โครงสร้างไดเรกทอรีรูปแบบวันที่ที่กําหนดไว้ล่วงหน้า

  • TUPA - The Ultimate PowerDNS Admin ฟรี

    TUPA เป็นส่วนหน้าของการบริหาร PowerDNS แบบ webbased โปรแกรมใน PHP / Javascript (AJAX) / MySQLรองรับการสร้างกลุ่มผู้ใช้และเทมเพลต

  • Surfraw - Shell Revolutionary Front ฟรี

    Surfraw - ความโกรธด้านหน้าที่ปฏิวัติวงการของผู้ใช้เชลล์กับเว็บ Surfraw ให้อินเตอร์เฟซบรรทัดคําสั่ง unix อย่างรวดเร็วกับเครื่องมือค้นหา WWW ยอดนิยมและสิ่งประดิษฐ์อื่น ๆ ของพลังงาน Forsake GUI รูปเคารพ! Aposate กลับ!

  • Cybios Digital Community ฟรี

    Cybios เป็นเกมออนไลน์ Cybercommunity ตาม Avatars ที่มีปฏิสัมพันธ์ในเมืองเสมือนจริง ในฐานะที่เป็น Avatar คุณสามารถมีชีวิตอยู่ทํางานและเล่นในชุมชนดิจิตอลเช่น RealWorld ในไซบิโอทั้งหมดอาจเกิดขึ้นได้ (หาเพื่อนต่อสู้สร้างบ้านพาณิช

  • OWLmt ฟรี

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

  • Maven Wiki Plugin ฟรี

    ปลั๊กอิน Maven Wiki ดึงเอกสารจากระบบ Wikis ที่แตกต่างกันและสร้างไฟล์ XDoc สําหรับการประมวลผลเพิ่มเติมโดยปลั๊กอิน Maven อื่น ๆ เช่นปลั๊กอิน PDF หรือปลั๊กอิน XDoc

  • Input Abstraction Layer ฟรี

    อินพุท Abstraction Layer (IAL) เป็นโครงการที่ทําให้คีย์พิเศษ (เช่น แป้นมัลติมีเดีย แป้นฟังก์ชันที่พบในสมุดบันทึก) "เพียงแค่ทํางาน" IAL ให้ดีมอนที่สามารถปรับปรุงโดยโมดูล โมดูลเหล่านี้กําลังส่งเหตุการณ์ผ่าน D-

  • iChooChoo ฟรี

    iChooChoo เป็นเครื่องจําลองรถไฟเครือข่ายที่ใช้ Java พร้อมด้วยเสียงและภาพเคลื่อนไหว สร้างเลย์เอาต์แทร็คที่กําหนดเองและยังมีรถไฟเยี่ยมชมคอมพิวเตอร์เครื่องอื่น! การออกแบบการเขียนโปรแกรมแบบแยกส่วน ทํางานและทํางานร่วมกับ Window

  • Commons for Java 5 ฟรี

    วิธีแก้ปัญหาสําหรับปัญหาทั่วไปใน java โดยใช้คุณสมบัติภาษาใหม่เช่นคําอธิบายประกอบทั่วไป varargs กล่องอัตโนมัติ ...