You are here: TUCS > PUBLICATIONS > Publication Search > Towards Formal Development of ...
Towards Formal Development of Mobile Location-Based Systems
Alexey Iliasov, Linas Laibinis, Alexander Romanovsky, Elena Troubitsyna, Towards Formal Development of Mobile Location-Based Systems. In: Proceedings of REFT 2005 - the Workshop of on Rigorous Engineering of Fault Tolerant Systems, 2005.
Abstract:
In this paper we investigate formal development of mobile location-based systems. This work is tightly linked with the Ambient Campus case study of EU-project RODIN. We develop a formal B specification of a location – the core part of mobile location-based systems. Moreover, we describe a general methodology for formal development of such systems using the B Method.
BibTeX entry:
@INPROCEEDINGS{inpIlLaRoTr05a,
title = {Towards Formal Development of Mobile Location-Based Systems},
booktitle = {Proceedings of REFT 2005 - the Workshop of on Rigorous Engineering of Fault Tolerant Systems},
author = {Iliasov, Alexey and Laibinis, Linas and Romanovsky, Alexander and Troubitsyna, Elena},
year = {2005},
}
Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)