Using formal Methods in Software Engineering Education

Mišev, Anastas and Jakimovski, Boro (2008) Using formal Methods in Software Engineering Education. In: Proceedings of the Sixth Conference on Informatics and Information Technology. Institute of Informatics, Faculty of Natural Sciences and Mathematics, Ss. Cyril and Methodius University in Skopje, Macedonia, Skopje, Macedonia, pp. 67-69. ISBN 978-9989-668-78-4

[img]
Preview
Text
978-9989-668-78-4_pp67-69.pdf

Download (142kB) | Preview
Official URL: http://ciit.finki.ukim.mk

Abstract

Formal methods have wide usage in software engineering. One especially important category of software engineering where formal methods are irreplaceable is software engineering for critical systems. Critical systems represent software products that require high level of correctness in requirements specification, software design and the final product. Using different formal methods we can help in development of safer and more reliable critical systems. In this paper we give an overview of the formal methods and tool used in Software Engineering. We also present our experience in lecturing a course in SE for CS at a post graduate level, the methodology used in to connect the theory with practice by presenting several formal methods. Out final goal was the use of temporal logic in SE. We also describe the tools used and show several case studies presented to the students and the lessons learned during the course.

Item Type: Book Section
Subjects: International Conference on Informatics and Information Technologies > Challenges in education
Depositing User: Vangel Ajanovski
Date Deposited: 28 Oct 2016 00:15
Last Modified: 28 Oct 2016 00:15
URI: http://eprints.finki.ukim.mk/id/eprint/11034

Actions (login required)

View Item View Item