Problem-Based Learning in Teaching Formal Specification
Roslina Sidek · ASME Press eBooks · 2009
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 whatever problem given by superior, critical thinking in solving the problem, can work independence and minimized supervision and others. The PBL method was introduced to the 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 analyzed 88 students' assignment to see their performance of construction of formal specification. Using this method 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.