Statecharts: A visual formalism for complex systems
Science of Computer Programming
Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design
IEEE Transactions on Software Engineering
Impact of mobility on distributed computations
ACM SIGOPS Operating Systems Review
The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
Mobile UNITY: reasoning and specification in mobile computing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Abstractions for mobile computations
Secure Internet programming
The Challenges of Mobile Computing
Computer
FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
MOBICHARTS: A Notation to Specify Mobile Computing Applications
HICSS '03 Proceedings of the 36th Annual Hawaii International Conference on System Sciences (HICSS'03) - Track 9 - Volume 9
An Algebraic Framework for Modeling of Mobile Systems
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
| Hi-index | 0.00 |
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.