Title :
On some key requirements of mobile application software
Author :
De Florio, Vincenzo ; Deconinck, Geert
Author_Institution :
Dept. of Electr. Eng., Katholieke Univ. Leuven, Belgium
Abstract :
This paper first introduces and discusses a few considerations on some key requirements of mobile computing services. In particular, the relevance of both dependability and adaptability to an effective distribution of the service is investigated. Next, the paper discusses a novel structuring technique for the application layer of mobile software, as an example of an existing tool fulfilling those requirements. Such technique has been designed in the framework of ESPRIT project TIRAN and is fully explored in the IST project DepAuDE
Keywords :
fault tolerant computing; formal specification; mobile computing; project engineering; software reliability; ESPRIT project TIRAN; IST project DepAuDE; adaptability; application layer; dependability; mobile computing services; mobile software; recovery language; software engineering; Application software; Bismuth; Conferences; Systems engineering and theory;
Conference_Titel :
Engineering of Computer-Based Systems, 2002. Proceedings. Ninth Annual IEEE International Conference and Workshop on the
Conference_Location :
Lund
Print_ISBN :
0-7695-1549-5
DOI :
10.1109/ECBS.2002.999816
