Sm@RT Research Team
Sm@RT Research Team
Home
People
Publications
Talks
Projects
Contact
Light
Dark
Automatic
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
Jean-Michel Bruel
Professor of Software Engineering
My research interests include Model-Based Systems Engineering and Requirements Engineering.
Related
Examining Requirements Documentation through the Focused Conversation Method
The Role of Formalism in System Requirements
Papyrus for Gamers, Let's Play Modeling
AutoReq: expressing and verifying requirements for control systems
A contract-based method to specify stimulus-response requirements
Cite
×