DOI: 10.5176/2251-2195_CSEIT16.29

Authors: Emanuel S. Grant, Kiran Adhikari, Sameer Kumar Bisoyi, Amrita Chatterjee, Tanaya Datta, Callixte Nahimana, and Jon Sand

Abstract: Case-based pedagogy is well-established in the legal, medical, and business disciplines of higher education. The success of this approach to teaching can be realized in other disciplines, but it requires a paradigm-shift that has to be strategically applied in the new academic discipline. This report documents the effort of a case-based approach to teaching a graduate-level course in software development formal specification methods at a USA university. A unique approach taken is that of having the students compile their effort in the course as a required course outcome and present it in this report. The course curriculum has the goal of producing a working tool for verification of software system design and developing a model for case-based teaching in software engineering. Students develop skills in formal specification definition and analysis and software system design and implementation. This course was taught as a sixteen-week semester that included assessment instruments in the form of project milestone deliverables and assignments on the theories covered. Future work on this project will seek to assess the difference in learning outcomes between the traditional theory-focused teaching approach and a case-based approach, by way of surveys and comparison of student learning evaluations

Keywords: software engineering; pedagogy; teaching & learning; formal specification notation

Price: $4.99

Loading Updating cart...