Loading...
Thumbnail Image
Item

Creating formal models from informal design artefacts

Abstract
The use of robust software engineering processes is essential in the design and development of interactive systems. This ensures that software is both functionally correct and also usable in the required context. There are a variety of software engineering techniques that can be used to consider different aspects of a system under construction, and at different stages in the development process. There is, however, a natural tension between formal approaches (typically used in the domain of safety-critical systems to consider functional correctness) and informal design approaches, which focus on users and user requirements in a manner which is accessible by stakeholders. In this paper we present two new approaches which enable a tighter coupling of informal design requirements with formal models. We present examples of these two approaches and discuss the benefits that transformations between the informal and formal provide. We also discuss the current limitations of such work along with recommendations about how these might be addressed.
Type
Journal Article
Type of thesis
Series
Citation
Date
2022
Publisher
Informa UK Limited
Degree
Supervisors
Rights
This is an author’s accepted version of an article published in International Journal of Human-Computer Interaction. © 2022 Taylor and Francis.