• DocumentCode
    2474832
  • 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
  • fYear
    2002
  • fDate
    2002
  • Firstpage
    3
  • Lastpage
    8
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • 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
  • Type

    conf

  • DOI
    10.1109/ECBS.2002.999816
  • Filename
    999816