ส่งซอฟต์แวร์
  1. บ้าน
  2. Linux
  3. อื่นๆ
  4. ACM code generator

ACM code generator 1.0

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

ACMgen เป็นตัวสร้างรหัสอัตโนมัติของกลไกการสื่อสารแบบอะซิงโครนัสตามรุ่นของตาข่าย Petri ที่สามารถตรวจสอบอย่างเป็นทางการกับคุณสมบัติบางอย่างแล้วเปลี่ยนเป็นการใช้งานจริง (เช่น.C ++ หรือ Verilog)

ประวัติรุ่น

  • เวอร์ชัน 1.0 โพสต์เมื่อ 2008-03-10
    การแก้ไขและการอัปเดตหลายรายการ
  • เวอร์ชัน 1.0 โพสต์เมื่อ 2008-03-10

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

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

  • Jump from SOAP to REST with WSDL2REST ฟรี

    ห่วงโซ่เครื่องมือที่ช่วยให้การโยกย้ายอย่างรวดเร็วจากการใช้งานเว็บเซอร์วิส SOAP ที่มีอยู่เพื่อการใช้งานเว็บเซอร์วิส RESTful โดยใช้การกําหนด WSDL แกนร่วมกับบริการ impl เรียน (dev. โดยกลุ่ม http://tech.groups.yahoo.com/group/slo

  • DOSBox Launch Pad ฟรี

    การกําหนดค่า DOSBox อาจเป็นเรื่องที่น่ากลัวเล็กน้อยดังนั้นฉันจึงตัดสินใจเขียนโครงการ VB.Net ที่ให้ GUI เพื่อควบคุมรายการจํานวนมากในไฟล์ DOSBox .conf

  • DMG Automounter for Linux ฟรี

    DMG Automounter เป็นสคริปต์ nautilus ที่ช่วยให้การกระจายใด ๆ ของ Linux เพื่อติดตั้งไฟล์ Mac OS X .dmg (แต่ไม่ได้ติดตั้งเนื่องจากจะต้องมี Mac OS X API ซึ่งเป็นแหล่งปิด) README มีคําแนะนําในการติดตั้งทั้งหมด กรุณาบริจาค!

  • APEX Imaging Spectrometer Tools ฟรี

    เครื่องมือ APEX เป็นชุดของสาธารณูปโภคที่ใช้ในการร่วมกับการประมวลผลของข้อมูล hyperspectral ในอากาศที่พัฒนาขึ้นสําหรับ ESA-Prodex สนับสนุนปริซึมในอากาศ EXperiment (APEX)

  • MGP ฟรี

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

  • PHP Toolbox ฟรี

    กล่องเครื่องมือ PHP ถูกออกแบบมาเพื่อทําให้กระบวนการสร้างฐานข้อมูลขับเคลื่อนเว็บไซต์ง่ายขึ้น มันใช้การพัฒนาที่ใหม่หรือทีละขั้นตอนกระบวนทัศน์ ฟังก์ชันหลักจะได้รับการจัดการโดยคลาสตาราง/ฟอร์มที่มีประสิทธิภาพและลูกหลานฐานข้อมู

  • Java Modeling Language (JML) ฟรี

    ภาษาการสร้างแบบจําลอง Java (JML) เป็นภาษาข้อกําหนดอินเทอร์เฟซพฤติกรรมที่สามารถใช้เพื่อระบุพฤติกรรมของโมดูล Java (เช่นในการออกแบบตามสัญญา - DBC) มันมีเครื่องมือมากมายที่จะทําการตรวจสอบการยืนยันการทดสอบหน่วย ฯลฯ

  • Sample YouTube Player ฟรี

    ตัวอย่างแอปสําหรับโครงการ github ของ SimpleYouTubePlayerhttps://github.com/TheFinestArtist/SimpleYouTubePlayerแฮนเก็นการใช้งาน YouTubePlayerปัญหาการวางแนว (พร้อมโหมดการหมุนอัตโนมัติ)เปิดการหมุนอัตโนมัติ : คุณสามา

  • Gelide ฟรี

    Gelide เป็นส่วนหน้าที่สามารถกําหนดค่าได้ซึ่งช่วยให้คุณสามารถจัดการระบบเลียนแบบทุกชนิด (อาร์เคดคอนโซลพีซี ฯลฯ ) ช่วยให้คุณสามารถแคตตาล็อกและเปิดเกมใด ๆ จากโปรแกรมจําลองที่มีอยู่ภายใต้ GNU / Linux

  • HMI User Control ฟรี

    (EN) คุณสามารถแสดงค่าของข้อความ เป้าหมายของโครงการควบคุมผู้ใช้คือการทําให้การควบคุมผู้ใช้ไม่กี่เพื่ออินเตอร์เฟซระบบ PLC เพื่อ HMI แอพลิเคชันสร้างภายใต้ Win32 ทุกความร่วมมือจะได้รับการชื่นชมมากของ (IT) คุณ (IT) L'obiettivo del