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