Tag Archives: SPARK

AdaCore และ NVIDIA ผนึกกำลัง! เปิดตัวภาษา Ada และ SPARK สู่ตลาดรถยนต์ พร้อมยกระดับความปลอดภัยซอฟต์แวร์

AdaCore ผู้เชี่ยวชาญด้านเครื่องมือซอฟต์แวร์ที่มีความสมบูรณ์สูง มีความยินดีที่จะประกาศการนำภาษาโปรแกรม Ada และ SPARK เข้าสู่ตลาดอุตสาหกรรมยานยนต์ โดยร่วมกับพันธมิตร NVIDIA พวกเขาเตรียมเผยแพร่กระบวนการอ้างอิงที่พร้อมใช้งาน ซึ่งจะเปิดโอกาสให้ผู้อื่นสามารถนำไปปรับใช้ตามแนวทางของพวกเขาได้

Read More »