Problem-based Learning in Teaching Formal Specification

Learning process is very important in academic industry. Students are the person that will give their service to the country after they graduated. As an academician, lecturer responsible in making sure their students are having skills that needed by industry. The industry in Malaysia always complaint that Malaysian student are having no skill. So, with this problem, we applied problem-based learning method to make our students can solve what ever problem given by superior, critical thinking in solving the problem, can work independence and minimised supervision and others. The PBL method was introduced to Faculty of Computer Systems and Software Engineering (FSKKP) second year students in the Bachelor of Software Engineering. The subject is Formal Methods 3 credit hours. The number of students is 88. We analysed 88 students' assignment to see their performance of construction of formal specification. Using this method can it help student in gain skill that required by the industry at the same time to construct formal specifications. This approach can train our student more critical thinking, independent, confidence, developed team working and others.