00916pamaa2200181 4500 0000044727 20110104090000.0 090113 eng Nil QA76 RUA 2008 Ruan Wei Cong Tracking the proof and correctness between abstract and concrete specification using Z language Ruan Wei Cong. B.Sc. (HONS) IN SOFTWARE ENGINEERING DOUBLE MODULE FINAL PROJECT REPORT Nilai: INTI Internation University College Malaysia, January 2008. Volume 1; 30 cm. A dissertation submitted in partial fulfillment of the requirement of Honours Degree in Software Engineering at Coventry University under the management and surpervision of School of Faculty Computing and IT, INTI International University College Dissertations, academic -- Computer systems www.intimal.edu.my