Specifying a mobile computing infrastructure and services

dc.contributor.author Acharya, Satyajit
dc.contributor.author George, Chris
dc.contributor.author Mohanty, Hrushikesha
dc.date.accessioned 2022-03-27T05:56:54Z
dc.date.available 2022-03-27T05:56:54Z
dc.date.issued 2004-01-01
dc.description.abstract We present a model of a mobile computing application environment and its formal specification using the RAISE specification language. Special care is taken to specify the location based operations that are typical of mobile computing. In the process of specifying the mobile environment, we give precise semantics to different services identified with Mobichart notations, an extension to Objectcharts and Statecharts to make them suitable for graphical specification of mobile computing environment and applications. Thus we show the usability of both graphical and formal specification methods in development of mobile computing applications. We also discuss different techniques applied to detect faults and gain confidence in the correctness of the specification using consistency and confidence conditions, prototyping and testing. © Springer-Verlag 2004.
dc.identifier.citation Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). v.3347
dc.identifier.issn 03029743
dc.identifier.uri 10.1007/978-3-540-30555-2_29
dc.identifier.uri http://link.springer.com/10.1007/978-3-540-30555-2_29
dc.identifier.uri https://dspace.uohyd.ac.in/handle/1/8886
dc.subject Mobicharts
dc.subject Mobile computing
dc.subject RSL
dc.subject Specification
dc.subject Testing
dc.title Specifying a mobile computing infrastructure and services
dc.type Book Series. Article
dspace.entity.type
Files
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Plain Text
Description: