Azman Bujang, Masli and Edwin, Mit and Nurfauza, Jali and Yanti Rosmunie, Bujang (2015) Refinement in integrated specifications of CSP-OZ. 2015 4th International Conference on Software Engineering and Computer Systems, ICSECS 2015: Virtuous Software Solutions for Big Data. pp. 136-141. ISSN ISBN: 978-146736722-
![[img]](http://ir.unimas.my/style/images/fileicons/text.png) |
PDF
Refinement.pdf Download (1MB) |
Abstract
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 applied to the specification. This paper investigates the interaction of the different parts of an integrated specification under refinement. The integrated notation of CSP-OZ integrates the behaviour based language CSP with the state based notation, Object-Z. In such integrated notation, not only different views of a system are available, but the refinement relations in both parts are also of different basis.
| Item Type: | Article |
|---|---|
| Uncontrolled Keywords: | Big data; Computer software; Software engineering; Specifications Development technique; Multiple views; State based, unimas, university, universiti, Borneo, Malaysia, Sarawak, Kuching, Samarahan, ipta, education, research, Universiti Malaysia Sarawak |
| Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
| Divisions: | Academic Faculties, Institutes and Centres > Faculty of Computer Science and Information Technology Faculties, Institutes, Centres > Faculty of Computer Science and Information Technology Academic Faculties, Institutes and Centres > Faculty of Computer Science and Information Technology |
| Depositing User: | Ibrahim |
| Date Deposited: | 06 Feb 2017 02:10 |
| Last Modified: | 15 Sep 2022 01:36 |
| URI: | http://ir.unimas.my/id/eprint/15210 |
Actions (For repository members only: login required)
 |
View Item |
