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/id/eprint/15210/ http://ir.unimas.my/id/eprint/15210/2/Refinement.pdf |