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

VDMJ

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

VDMJ ให้การสนับสนุนเครื่องมือพื้นฐานสําหรับภาษาสเปค VDM-SL, VDM++ และ VDM-RT ที่เขียนใน Java มันรวมถึงตัวแยกวิเคราะห์ตัวตรวจสอบประเภทล่ามดีบักเกอร์และเครื่องกําเนิดไฟฟ้าภาระผูกพันหลักฐาน มันถูกใช้โดยโครงการสุริยคราส Overture

ประวัติรุ่น

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

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

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

  • qgallery ฟรี

    โปรแกรมนี้จะข้ามโครงสร้างไดเรกทอรีประมวลผลไฟล์ภาพ jpeg เพื่อสร้างแกลเลอรี่ภาพ HTML ที่เรียบร้อยและนําทางได้ง่าย qgallery จะสร้างภาพขนาดย่อโดยอัตโนมัติ ando ยังสามารถลดขนาดภาพเพื่อให้แน่ใจว่าพอดีกับ

  • Multimedia Interface Library ฟรี

    ภารกิจของโครงการนี้คือการสร้างชุดของไลบรารีและคอมโพเนนต์สําหรับภาษา Microsoft .net และภาษาโมโนสําหรับมัลติมีเดียเช่นเสียงเล่นวิดีโออินพุตและไลบรารีสิ่งอํานวยความสะดวก directx และ opengl และการควบคุมสําหรับการสร้างส่วนติดต่อผู

  • ImageFun ฟรี

    ImageFun เป็นแอปพลิเคชั่นขนาดเล็กที่สามารถเปลี่ยนพื้นหลังของรูปภาพได้

  • ZH Mono ฟรี

    แบบอักษรแบบโมโนสเปซที่ครอบคลุม Pahlavi จารึกและ Parthian จารึก (โปรดทราบว่า Windows 7 ไม่ได้ (ยัง?) สนับสนุนช่วง Unicode หลักสองช่วงที่แสดงในแบบอักษรนี้ อย่างไรก็ตาม Windows XP และ Windows Vista จะทํางานตามที่คาดไว้)

  • vSigpac ฟรี

    vSigpac เป็นตัวแสดงแผนที่และผู้สร้าง/ตัวแก้ไขเครื่องหมาย ภูมิประเทศ และเครื่องมือสร้างพื้นผิวสําหรับ MSTS (Microsoft Train Simulator (c)) vSigpac ทํางานร่วมกับแผนที่ Sigpac / orthophotos จากสเปน แต่สามารถทํางานร่วมกับเซิร์ฟเว

  • CoverME ฟรี

    ซอฟต์แวร์สําหรับการค้นหาและดาวน์โหลดรูปภาพหน้าปกอัลบั้ม หน้าปกอัลบั้มเพลง ดีวีดี หรือซอฟต์แวร์

  • Essence 3D Game Engine ฟรี

    Essence เป็นเอ็นจินเกม 3d ที่เขียนใน C++ สําหรับแพลตฟอร์ม Windowsเครื่องยนต์เป็นชุดเครื่องมือที่มีประสิทธิภาพ แต่ใช้งานง่ายสําหรับนักพัฒนาที่ต้องการสร้างเกมต้นแบบหรือการสร้างภาพมันจะให้โปรแกรมเมอร์ที่มีห้องสมุดที่มนุษย์

  • dvbpic ฟรี

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

  • Python Computer Graphics Kit ฟรี

    ชุดกราฟิกคอมพิวเตอร์งูหลามเป็นคอลเลกชันของโมดูลงูหลามที่มีชนิดพื้นฐานและฟังก์ชันที่จะสามารถสร้างคอมพิวเตอร์ 3 มิติได้ภาพกราฟิก (มุ่งเน้นไปที่อินเทอร์เฟซ RenderMan ของ Pixar)

  • Clay3D ฟรี

    Clay3D เป็นชุดที่สมบูรณ์ขยายได้และมีชุดที่อุดมไปด้วยการใช้งานเครือข่าย agnostic ปรับขนาดได้สําหรับการผลิตภาพคอมพิวเตอร์ที่สร้างขึ้นและผลภาพ โปรดดูหน้าแรกสําหรับข้อมูลเพิ่มเติม