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...
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Institute of Electrical and Electronics Engineers
2015
|
| Subjects: | |
| Online Access: | http://ir.unimas.my/15210/ http://ir.unimas.my/15210/ http://ir.unimas.my/15210/ http://ir.unimas.my/15210/1/Refinement-in-integrated-specifications-of-CSP-OZ_2015_2015-4th-International-Conference-on-Software-Engineering-and-Computer-Systems%2C-ICSECS-2015-Virtuous-Software-Solutions-for-Big-Data.html |
Internet
http://ir.unimas.my/15210/http://ir.unimas.my/15210/
http://ir.unimas.my/15210/
http://ir.unimas.my/15210/1/Refinement-in-integrated-specifications-of-CSP-OZ_2015_2015-4th-International-Conference-on-Software-Engineering-and-Computer-Systems%2C-ICSECS-2015-Virtuous-Software-Solutions-for-Big-Data.html