Formal specification approach in designing database system using Z

The requirements for a software system set out what the system should do and define constraints on its operation and implementation. Traditionally, users express the requirement specification of system development by natural language. Natural language is ambiguous, thus the requirement specificati...

Full description

Bibliographic Details

Main Authors:	Julaily Aida, Jusoh, Mohd Yazid, Md Saman, Mustafa, Man
Format:	Article
Language:	en
Published:	Asian Research Publishing Network 2015
Subjects:	QA75 Electronic computers. Computer science
Online Access:	http://eprints.unisza.edu.my/5863/1/FH02-FIK-15-02654.jpg http://eprints.unisza.edu.my/5863/
Tags:	Add Tag No Tags, Be the first to tag this record!