Formal specification of wireless and pervasive healthcare applications

Transactions on Embedded Computing Systems

Volumn 10, Issue 1, 2010, Pages

  Coronato, Antonio ^a   De Pietro, Giuseppe ^a  

^a ICAR CNR   (Italy)

Author keywords

Formal specification; Methodologies and tools; Wireless and pervasive healthcare applications

Indexed keywords

FORMAL SPECIFICATION; HIGHER-DEGREE; METHODOLOGIES AND TOOLS; MOBILITY CHARACTERISTICS; PERVASIVE APPLICATIONS; PERVASIVE HEALTHCARE APPLICATION; SAFETY CRITICAL APPLICATIONS; SAFETY-CRITICAL; SPECIFICATION PROCESS;

SPECIFICATIONS;

FORMAL METHODS;

EID: 77956364478     PISSN: 15399087     EISSN: 15583465     Source Type: Journal    
DOI: 10.1145/1814539.1814551     Document Type: Conference Paper

References (20)

1. BERRY, D. M. AND TICHY, W. F. 2003. Comments on formal methods application: An empirical tale of software development. IEEE Trans. Softw. Engin. 29, 6.
2. BOWEN, J. P. AND HINCHEY, M. G. 1995. Ten commandments of formal Methods. IEEE Computer 28, 4, 56-63.
3. BOWEN, J. P. AND HINCHEY, M. G. 2006. Ten commandments of formal methods...ten years later. IEEE Computer 39, 1, 40-48.
4. BOWEN, J. P. AND STAVRIDOU, V. 1992. Formal Methods and Software Safety. Pergamon Press.
5. CAMPBELL, R. AND RANGANATHAN, A. 2008. Provably correct pervasive computing environments. In Proceedings of the International Conference on Pervasive Computing (PerCom), 2008.
6. CARDELLI, L. AND GORDON, A. D. 2000a. Ambient logic. Theor. Comput. Sci. 240, 1.
7. CARDELLI, L. AND GORDON, A. 2000b. Anytime, anywhere modal logics for mobile ambients. In Proceedings of the 27th ACM Symposium on Principles of Programming Languages.
8. CHARATONIK, W., ZILIO, S. D., GORDON, A. D., MUKHOPADHYAY, S., AND TALBOT, J. 2003. Model checking mobile ambients. Theor. Comput. Sci. 308, 277-331.
9. EVERMANN, J. AND WAND, Y. 2005. Toward formalizing domain modeling semantics in language syntax. IEEE Trans. Softw. Engin. 31, 1.
10. GUARINO, N. 1995. Formal ontology, conceptual analysis and knowledge representation. In ter. J. Hum.-Comput. Studies. Special Issue on Formal Ontology, Conceptual Analysis and Knowledge Representation 43, 625-640.
11. HEITMEYER, C. AND MANDRIOLI, D. 2004. Formal Methods for Real-Time Computing. John Wiley & Sons.
12. HOARE, C. A. R. 1969. An axiomatic basis for computer programming, Comm. ACM 12, 10.
13. KARLSSON, D., ELES, P., AND PENG, Z. 2007. Formal verification of component-based designs, J. Design Automat. Embed. Syst. 11, 1.
14. KELLEY SOBEL, A. E. AND CLARKSON, M. L. 2002. Formal methods application: An empirical tale of software development. IEEE Trans. Softw. Engin. 28, 3.
15. KELLEY SOBEL, A. E. AND CLARKSON, M. L. 2003. Response to comments on formal methods application: An empirical tale of software development. IEEE Trans. Softw. Engin. 29, 6.
16. LEE, R. G., CHEN, K. C., HSIAO, C. C., AND TSENG C. L. 2007A mobile care system with alert mechanism. IEEE Trans. Inform. Technol. Biomed. 11, 5.
17. MEYER, B. 1992. Applying design by contract, IEEE Comput. 25, 10.
18. MILNER, R. 1998. The pi calculus and its applications. In Proceedings of the Joint International Conference and Symposium on Logic Programming
19. ROMAN, M., HESS, C. K., CERQUEIRA, R., RANGANATHAN, A., CAMPBELL, R. H., AND NARHSTEDT K. 2002. Gaia: A middleware infrastructure to enable active spaces. IEEE Pervasive Comput. 1, 4, 74-83.
20. SAHA, G. K. 2006. Software fault avoidance issues. ACM Ubiquity 7, 46, 1-15.