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

Contract++

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

การเขียนโปรแกรมสัญญา C++ (การออกแบบตามสัญญา) คุณลักษณะทั้งหมดของไอเฟลที่ได้รับการสนับสนุน: การคอมไพล์สัญญาเพิ่มเติม การกระทําที่ปรับแต่งได้เมื่อล้มเหลว การว่าจ้างผู้รับเหมารายย่อย; การดู ค่าเก่าและค่าผลลัพธ์ บล็อก invariants ตัวแปรลูป http://contractpp.sourceforge.net

ประวัติรุ่น

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

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

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

  • ProLOGO - Logo in Prolog ฟรี

    ProLOGO เป็นภาษาที่เหมือนโลโก้ที่เขียนด้วยสโลแกนแบบหมุนกับไลบรารีกราฟิก XPCE คําสั่งพื้นฐานเกือบทั้งหมดถูกนํามาใช้ แต่ยังไม่มีการสนับสนุนสําหรับขั้นตอน (ยัง)

  • Space Opera ฟรี

    Space Opera เป็นเกมล่าอาณานิคมอวกาศที่คล้ายกับ 'Master of Orion' หรือ 'อารยธรรมกาแลคซี' คุณสามารถสํารวจจักรวาลอาณานิคมดาวเคราะห์ต่อสู้กับมนุษย์ต่างดาวและเทคโนโลยีการวิจัย ภาพถูกสร้างขึ้นด้วย Povray และ Terragen

  • Topaz DeJPEG ฟรี

    วัตถุการบีบอัด JPEG ส่งผลอย่างมากต่อคุณภาพของภาพดิจิตอลใด ๆ พวกเขาสามารถมองเห็นได้ว่าเป็นเสียงยุงความอุดตันหรือกระดานหมากรุกและสิ่งประดิษฐ์ขอบ Topaz DeJPEG เป็นปลั๊กอินที่ออกแบบมาโดยเฉพาะเพื่อแก้ไขปัญหานี้และมีประสิทธิภาพมากก

  • ACD VideoMagic ทดลองใช้ฟรี

    ACD VideoMagic ช่วยให้คุณสามารถแบ่งปันวิดีโอที่น่าจดจําในช่วงเวลาที่ยอดเยี่ยมของชีวิตโดยไม่ต้องลงทุนมากในการผลิตวิดีโอดิจิตอลหรือเงินในซอฟต์แวร์ตัดต่อวิดีโอดิจิตอล ด้วยซอฟต์แวร์วิดีโอดิจิตอล ACD VideoMagic ภาพยนตร์เกิดขึ้นอัต

  • PhotoZoom Pro for Mac ทดลองใช้ฟรี

    ไม่มีความสุขกับคุณภาพของการขยายภาพดิจิตอลของคุณหรือไม่? ปรับขนาดรูปภาพของคุณโดยใช้ PhotoZoom Pro 6!BenVista PhotoZoom Pro 6 เป็นซอฟต์แวร์สําหรับการขยายภาพดิจิตอลมีให้สําหรับ OS X 10.6+ และ Windows มันขึ้นอยู่กับ S-Spline M

  • 2Bitmap ทดลองใช้ฟรี

    2Bitmap เป็นตัวแปลงกราฟิกที่ช่วยให้คุณสามารถแปลงภาพเป็นรูปแบบ gif จากประเภทไฟล์ภาพ 50 ประเภทรวมถึงการแปลงจาก gif เป็น bmp ตั้งแต่ jpeg เป็นบิตแมปตั้งแต่ tiff ถึง bmp และอื่น ๆ โปรแกรมไม่มีส่วนต่อประสาน Windows และได้รับการปร

  • PDF Stamp Multiple Files With Image Software ทดลองใช้ฟรี

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

  • Viking GPS data editor and analyzer ฟรี

    ไวกิ้งเป็นโปรแกรมฟรี / โอเพ่นซอร์สเพื่อจัดการข้อมูล GPS คุณสามารถนําเข้าพล็อตและสร้างแทร็คและเวย์พอยท์แสดง OSM, Terraserver และแผนที่อื่น ๆ ดูตําแหน่ง GPS แบบเรียลไทม์รับ geocaches รายการควบคุม ฯลฯ มันเขียนใน C & GTK + 2

  • OSSIM - Open Source Software Image Map ฟรี

    โอเพ่นซอร์สระยะไกล Sensing OSSIM โครงการเด่นชัด "น่ากลัว & quot; จะใช้ประโยชน์จากอัลกอริทึมที่มีอยู่ / เครื่องมือ / แพคเกจจากชุมชนโอเพ่นซอร์สในการก่อสร้างที่ดีที่สุดระยะไกล Sensing / การประมวลผลภาพ / GIS แพคเกจ osgPl

  • Comical ฟรี

    Comical เป็นโปรแกรมดู CBR และ CBZ แบบพกพาที่เขียนด้วย C++ โดยใช้ wxWidgets รองรับรูปแบบภาพหลายรูปแบบและใช้อัลกอริทึมการปรับขนาดภาพคุณภาพสูงเพื่อให้พอดีกับหน้าบนหน้าจอ