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

Saved in:
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/2/Refinement.pdf
http://ir.unimas.my/id/eprint/15210/
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84962050760&doi=10.1109%2fICSECS.2015.7333098&partnerID=40&md5=80cb2d56d28953297b3dc0d93f45f383
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Universiti Malaysia Sarawak
Language: English

Internet

http://ir.unimas.my/id/eprint/15210/2/Refinement.pdf
http://ir.unimas.my/id/eprint/15210/
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84962050760&doi=10.1109%2fICSECS.2015.7333098&partnerID=40&md5=80cb2d56d28953297b3dc0d93f45f383

Similar Items