creators_name: Razali, R creators_name: Snook, C. F. creators_name: Poppleton, M. R. creators_name: Garratt, P. W. creators_name: Walters, R. J. type: conference_item datestamp: 2012-07-23 12:20:17 lastmod: 2012-07-23 12:20:17 metadata_visibility: show title: Experimental Comparison of the Comprehensibility of a UML-based Formal Specification versus a Textual One ispublished: pub subjects: deploy_method_other full_text_status: none pres_type: paper keywords: Notation comprehensibility, semi-formal and formal notations, empirical assessment note: Event Dates: 2-3 April 2007 abstract: The primary objective of software specification is to promote understanding of the system properties between stakeholders. Specification comprehensibility is essential particularly during software validation and maintenance as it permits the understanding of the system properties more easily and quickly prior to the required tasks. Formal notation such as B increases a specification?s precision and consistency. However, the notation is regarded as being difficult to comprehend due to its unfamiliar symbols and rules of interpretation. Semi-formal notation such as the Unified Modelling Language (UML) is perceived as more accessible but it cannot be verified systematically to ensure a specification?s accuracy. Integrating the UML and B could perhaps produce an accurate and approachable specification. This paper presents an experimental comparison of the comprehensibility of a UML-based graphical formal specification versus a purely textual formal specification. The measurement focused on the efficiency in performing the comprehension tasks. The experiment employed a cross-over design and was conducted on forty-one third-year and masters students. The results show that the integration of semi-formal and formal notations expedites the subjects? comprehension tasks with accuracy even with limited hours of training. date: 2007 date_type: published publisher: British Computer Society (BCS) pagerange: 1-11 event_title: 11th International Conference on Evaluation and Assessment in Software Engineering (EASE'07) event_type: conference refereed: TRUE official_url: http://eprints.soton.ac.uk/263323/ citation: Razali, R and Snook, C. F. and Poppleton, M. R. and Garratt, P. W. and Walters, R. J. (2007) Experimental Comparison of the Comprehensibility of a UML-based Formal Specification versus a Textual One. In: 11th International Conference on Evaluation and Assessment in Software Engineering (EASE'07).