|
Author(s): P.R. Chudley
Abstract:
of Z to formally specify a
commercial data processing system
P.R.
Chudley
Department of Computer Science, City
Po/2/fecWc o/ #o?%# #07t#, (9(9 T&f CTtee
Yau Yat Chuen, Kowloon, Hong Kong
ABSTRACT
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.
INTRODUCTION
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...
Pages: 17
Size: 1,321 kb
Paper DOI: 10.2495/SQM940382
|
|
Download
the Full Article
Price: US$
0.00
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.
 Send
this page to a colleague.
This paper can be found in the following book Software Quality Management II Vol 2 Building Quality into Software Buy
Book from
Witpress.com |
Home
Follow WIT Press
WIT Press on Twitter
Wessex Institute of Technology on Blogspot
