Specifying a mobile computing infrastructure and services
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
1 - 1 of 1