30 July 2014
  Welcome Guest
  Login | Help
Home
 
General Information
Transaction Series
Related Information
Connect with WIT Press
Connect with WIT
Login
Login ID:
Password:
 
Your Cart
There are 0 items in your cart. [View]

Adobe PDF Reader is required to view our papers:
Get Acrobat Reader




  Welcome to the WIT eLibrary

The home of the Transactions of the Wessex Institute collection, providing on-line access to papers presented at the Institute's prestigious international conferences and from its State-of-the-Art in Science & Engineering publications.

Paper Information

The use of Z to formally specify a commercial data processing system

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.

conference

Send this page to a friend. 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

Software Quality Management II Vol 2 Building Quality into Software

Buy Book from
Witpress.com



Download 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 to the right.


Copyright© 2006 by WIT Press | About Prof Carlos Brebbia
Optimised for Microsoft Internet Explorer