The Comprehensibility of a Z Specification Language and Its Implementation in JAVA for Implementing Atomic Read/Write Shared Memory in Mobile Ad hoc Network

Reham.A.Shihata ()

International Journal of Technology and Systems, 2022, vol. 7, issue 1, 1 - 19

Abstract: 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.

Keywords: Z Specification Language; Formal Specification; GUI; Java Language; Mobile Ad Hoc Network. (search for similar items in EconPapers)
Date: 2022
References: Add references at CitEc
Citations:

Downloads: (external link)
https://iprjb.org/journals/index.php/IJTS/article/view/1543 (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:bdu:ojijts:v:7:y:2022:i:1:p:1-19:id:1543

Access Statistics for this article

More articles in International Journal of Technology and Systems from IPRJB
Bibliographic data for series maintained by Chief Editor ().