Creating Formal Models from Informal Design Artefacts

Judy Bowen, Benjamin Weyers, Bowen Liu. Creating Formal Models from Informal Design Artefacts. International Journal of Human-Computer Interaction, 39(15):3141-3158, September 2023. [doi]

Abstract

Abstract is missing.