ESC/Java2 Frontend

ภาพหน้าจอของซอฟแวร์:
ESC/Java2 Frontend
รายละเอียดซอฟแวร์:
รุ่น: 2.0.5
วันที่อัพโหลด: 3 Jun 15
ผู้พัฒนา: KindSoftware
การอนุญาต: ฟรี
ความนิยม: 167

Rating: 1.0/5 (Total Votes: 1)

ESC / Java2 โครงการส่วนหน้าแยก Java 1.4 รหัสแหล่งที่มาและ Java bytecode 1.5 เป็นต้นไม้ไวยากรณ์บทคัดย่อที่สามารถนำมาใช้สำหรับการตรวจสอบคงขยาย
ตรวจสอบคงขยายสำหรับ Java รุ่น 2 (ESC / Java2) เป็นเครื่องมือการเขียนโปรแกรมที่พยายามที่จะหาข้อผิดพลาดเวลาทำงานร่วมกันในโปรแกรมจาวา JML-ข้อเขียนโดยการวิเคราะห์แบบคงที่ของรหัสโปรแกรมและคำอธิบายประกอบอย่างเป็นทางการ ผู้ใช้สามารถควบคุมปริมาณและชนิดของการตรวจสอบว่า ESC / Java2 ดำเนินการโดย annotating โปรแกรมของพวกเขามีความคิดเห็นรูปแบบพิเศษที่เรียกว่า pragmas
ESC / Java2 สามารถใช้ได้ในสองรูปแบบ:

ซอฟต์แวร์ที่คล้ายกัน

g3data
g3data

2 Jun 15

NZMATH
NZMATH

12 May 15

RPL/2
RPL/2

28 Sep 15

calc.pl
calc.pl

3 Jun 15

ซอฟแวร์อื่น ๆ ของนักพัฒนา KindSoftware

ESC/Java2
ESC/Java2

3 Jun 15

ความคิดเห็นที่ ESC/Java2 Frontend

ความคิดเห็นที่ไม่พบ
เพิ่มความคิดเห็น
เปิดภาพ!
ค้นหาตามหมวดหมู่