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...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | en |
| Published: |
Asian Research Publishing Network
2015
|
| Subjects: | |
| 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!
|
