Author(s): P.R. Chudley
of Z to formally specify a
commercial data processing system
Department of Computer Science, City
Po/2/fecWc o/ #o?%# #07t#, (9(9 T&f CTtee
Yau Yat Chuen, Kowloon, Hong Kong
Although the number of organisations using formal specification techniques
is expanding, its use tends to be focused upon safety critical systems, sys-
tems software and research.
It is a common belief that formal specification
techniques are not suitable, or too time consuming to use when developing
commercial data processing systems.
Through the use of an actual case
study this paper aims to demonstrate that the use of formal specification
techniques to develop a specification for a typical commercial data process-
ing system is both practical and beneficial.
Over the last few years the interest in formal specification techniques has
increased dramatically and more and more emphasis has been placed upon
the quality of software systems.
It has bee...
Size: 1,321 kb
Paper DOI: 10.2495/SQM940382
the Full Article
This article is part of the WIT OpenView scheme and you can download the full text Adobe PDF article for FREE by clicking the 'Openview' icon below.
this page to a colleague.
This paper can be found in the following bookSoftware Quality Management II Vol 2 Building Quality into SoftwareBuy