The influence of formal representation on solution specification |
| |
Authors: | Khazaei Babak Roast Chris |
| |
Affiliation: | (1) School of Computing and Management Sciences, Sheffield Hallam University, Harmer Building, Sheffield S1, 1WB, UK |
| |
Abstract: | The effectiveness and value of a notation is determined by how well its users are able to work with it. This paper reports upon an empirical study aiming at investigating the influence of employing the Z specification notation upon how users approach system development. The study illustrates how the desire to employ formality can have a significant influence upon preferred choice between different solution approaches. Despite the formal representation increasing the awareness of the characteristics of a given design problem, the notation is apparently detrimental in the subjects' consideration of good-quality generic solutions. The human factor issues of the notation need to be carefully considered and the notation should be embedded into a proper method if effective use is to be achieved. |
| |
Keywords: | Empirical study of formal representations Formal specification representation Generic and simple solution approaches Human factors for formal methods Z |
本文献已被 SpringerLink 等数据库收录! |