A. Rarau and K. Pusztai (Romania)
Mobile computing, Formal specification, Z notation.
So far, the Z notation has not been used for the formal description of systems that belong to the mobile computing area. The reason seems to be that the Z notation does not offer an explicit model of mobility. Nevertheless, Z may readily be used for modeling mobility. In this paper we report on our use of Z for the description of a software system that belongs to the mobile computing field. Moreover, we argue why we think Z should receive attention from the mobile computing community.
Important Links:
Go Back
