Reflections on Teaching Formal Methods for Software Development in Higher Education

Mansur Khazeev, Hamna Aslam, Daniel de Carvalho, Manuel Mazzara, Jean-Michel Bruel, Joseph Alexander Brown
January 2019
PDF Cite DOI
Type
Conference paper
Publication
Frontiers in Software Engineering Education - First International Workshop, FISEE 2019, Villebrumier, France, November 11-13, 2019, Invited Papers
Hamna Aslam
Hamna Aslam
2022 - Lecturer

Co-directed with Dr. Joseph Brown.

Jean-Michel Bruel
Jean-Michel Bruel
Professor of Software Engineering

My research interests include Model-Based Systems Engineering and Requirements Engineering.

Related