Refinement in integrated specifications of CSP-OZ

Refinement in integrated specifications of CSP-OZ

Formal specification provides the means to verify a system's correctness and this can be done by the development technique of refinement of formal specification. Considering the multiple views of a system, in integrated formal specifications, will introduce more than one refinement that can be...

Full description

Bibliographic Details
Main Authors: Azman Bujang, Masli, Edwin, Mit, Nurfauza, Jali, Yanti Rosmunie, Bujang
Format: Article
Language:English
Published: Institute of Electrical and Electronics Engineers 2015
Subjects:
QA75 Electronic computers. Computer science
Online Access:http://ir.unimas.my/id/eprint/15210/
http://ir.unimas.my/id/eprint/15210/2/Refinement.pdf

Similar Items

Similar Items