A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
The Comprehensibility of a Z Specification Language and Its Implementation in JAVA for Implementing Atomic Read/Write Shared Memory in Mobile Ad hoc Network
2022
International journal of technology and systems
Preserved Fulltext
Comprehensibility is often raised as a problem with formal notations; yet formal methods practitioners dispute this. In a survey, one interview said "formal specifications are no more difficult to understand than code". Measurement of comprehension is necessarily. In this paper, a comprehension of Z specification with that of its implementation in JAVA for atomic object Read/Write shared memory in mobile ad hoc network is performed.
doi:10.47604/ijts.1543
fatcat:jqsp7qg5qfgvdgqjh2ooad6k64