---
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.'
accompaniment: []
book_title: ~
commentary: ~
completion_time: ~
composition_type: ~
conductors_id: []
conductors_name: []
contact_email: ~
copyright_holders: []
corp_creators: []
creators_id: []
creators_name:
  - family: Razali
    given: R
    honourific: ''
    lineage: ''
  - family: Snook
    given: C. F.
    honourific: ''
    lineage: ''
  - family: Poppleton
    given: M. R.
    honourific: ''
    lineage: ''
  - family: Garratt
    given: P. W.
    honourific: ''
    lineage: ''
  - family: Walters
    given: R. J.
    honourific: ''
    lineage: ''
data_type: ~
date: 2007
date_type: published
datestamp: 2012-07-23 12:20:17
department: ~
dir: disk0/00/00/04/43
divisions: []
edit_lock_since: ~
edit_lock_until: 0
edit_lock_user: ~
editors_id: []
editors_name: []
eprint_status: archive
eprintid: 443
event_dates: ~
event_location: ~
event_title: 11th International Conference on Evaluation and Assessment in Software Engineering (EASE'07)
event_type: conference
exhibitors_id: []
exhibitors_name: []
fileinfo: ~
full_text_status: none
funders: []
id_number: ~
importid: ~
institution: ~
isbn: ~
ispublished: pub
issn: ~
item_issues_comment: []
item_issues_count: ~
item_issues_description: []
item_issues_id: []
item_issues_reported_by: []
item_issues_resolved_by: []
item_issues_status: []
item_issues_timestamp: []
item_issues_type: []
keywords: 'Notation comprehensibility, semi-formal and formal notations, empirical assessment'
lastmod: 2012-07-23 12:20:17
latitude: ~
learning_level: ~
longitude: ~
lyricists_id: []
lyricists_name: []
metadata_visibility: show
monograph_type: ~
note: ' Event Dates: 2-3 April 2007'
num_pieces: ~
number: ~
official_url: http://eprints.soton.ac.uk/263323/
output_media: ~
pagerange: 1-11
pages: ~
patent_applicant: ~
pedagogic_type: ~
place_of_pub: ~
pres_type: paper
producers_id: []
producers_name: []
projects: []
publication: ~
publisher: British Computer Society (BCS)
refereed: TRUE
referencetext: ~
related_url_type: []
related_url_url: []
relation_type: []
relation_uri: []
rev_number: 6
series: ~
skill_areas: []
source: ~
status_changed: 2012-07-23 12:20:17
subjects:
  - deploy_method_other
succeeds: ~
suggestions: ~
sword_depositor: ~
sword_slug: ~
task_purpose: ~
thesis_type: ~
title: Experimental Comparison of the Comprehensibility of a UML-based Formal Specification versus a Textual One
type: conference_item
userid: 258
volume: ~
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>