메뉴 건너뛰기




Volumn 10, Issue 3, 2001, Pages 338-395

Reasoning about code mobility with mobile UNITY

Author keywords

C.2.4 Computer Communication Networks : Distributed Systems Distributed applications; D.2.1 Software Engineering : Requirements Specifications; D.2.4 Software Engineering : Software Program Verification Correctness proofs

Indexed keywords


EID: 0040027498     PISSN: 1049331X     EISSN: None     Source Type: Journal    
DOI: 10.1145/383876.383879     Document Type: Article
Times cited : (14)

References (32)
  • 1
    • 84957064722 scopus 로고    scopus 로고
    • An asynchronous model of locality, failure, and process mobility
    • D. Garlan and D. L. Métayer, Eds. Lecture Notes in Computer Science, Springer-Verlag, New York, NY
    • AMADIO, R. 1997. An asynchronous model of locality, failure, and process mobility. In Proceedings of the 2nd International Conference on Coordination Models and Languages (COORDINATION '97), D. Garlan and D. L. Métayer, Eds. Lecture Notes in Computer Science, vol. 1282. Springer-Verlag, New York, NY, 374-391.
    • (1997) Proceedings of the 2nd International Conference on Coordination Models and Languages (COORDINATION '97) , vol.1282 , pp. 374-391
    • Amadio, R.1
  • 2
    • 84958954168 scopus 로고    scopus 로고
    • Exploiting code mobility in decentralized and flexible network management
    • (Apr.), K. Rothermel and R. Popescu-Zeletin, Eds. Springer Lecture Notes in Computer Science, Springer-Verlag, New York, NY
    • BALDI, M., GAI, S., AND PICCO, G. 1997. Exploiting code mobility in decentralized and flexible network management. In Proceedings of the 1st International Workshop on Mobile Agents (Apr.), K. Rothermel and R. Popescu-Zeletin, Eds. Springer Lecture Notes in Computer Science, vol. 1219. Springer-Verlag, New York, NY, 13-26.
    • (1997) Proceedings of the 1st International Workshop on Mobile Agents , vol.1219 , pp. 13-26
    • Baldi, M.1    Gai, S.2    Picco, G.3
  • 5
    • 84938020780 scopus 로고
    • Distributed simulation: A case study in design and verification of distributed programs
    • Sept.
    • CHANDY, K. M. AND MISRA, J. 1979. Distributed simulation: A case study in design and verification of distributed programs. IEEE Trans. Softw. Eng. 5, 5 (Sept.), 440-452.
    • (1979) IEEE Trans. Softw. Eng. , vol.5 , Issue.5 , pp. 440-452
    • Chandy, K.M.1    Misra, J.2
  • 7
    • 84955594029 scopus 로고    scopus 로고
    • Analyzing mobile code langauges
    • J. Vitek and C. Tschudin, Eds. Springer Lecture Notes in Computer Science, Springer-Verlag, New York, NY
    • CUGOLA, G., GHEZZI, C., PICCO, G., AND VIGNA, G. 1997. Analyzing mobile code langauges. In Mobile Object Systems: Towards the Programmable Internet, J. Vitek and C. Tschudin, Eds. Springer Lecture Notes in Computer Science, vol. 1222. Springer-Verlag, New York, NY, 93-111.
    • (1997) Mobile Object Systems: Towards the Programmable Internet , vol.1222 , pp. 93-111
    • Cugola, G.1    Ghezzi, C.2    Picco, G.3    Vigna, G.4
  • 8
    • 0000372791 scopus 로고    scopus 로고
    • KLAIM: A kernel language for agents interaction and mobility
    • DE NICOLA, R., FERRARI, G. L., AND PUGLIESE, R. 1998. KLAIM: A kernel language for agents interaction and mobility. IEEE Trans. Softw. Eng. 24, 5, 315-330.
    • (1998) IEEE Trans. Softw. Eng. , vol.24 , Issue.5 , pp. 315-330
    • De Nicola, R.1    Ferrari, G.L.2    Pugliese, R.3
  • 13
    • 84955594169 scopus 로고    scopus 로고
    • Mobile agents: Are they a good idea?
    • J. Vitek and C. Tschudin, Eds. Springer Lecture Notes in Computer Science, Springer-Verlag, New York, NY, Also available as IBM Tech. Rep.
    • HARRISON, C., CHESS, D., AND KERSHENBAUM, A. 1997. Mobile agents: Are they a good idea? In Mobile Object Systems: Towards the Programmable Internet, J. Vitek and C. Tschudin, Eds. Springer Lecture Notes in Computer Science, vol. 1222. Springer-Verlag, New York, NY, 25-47. Also available as IBM Tech. Rep.
    • (1997) Mobile Object Systems: Towards the Programmable Internet , vol.1222 , pp. 25-47
    • Harrison, C.1    Chess, D.2    Kershenbaum, A.3
  • 14
    • 0003692969 scopus 로고
    • An introduction to the TACOMA distributed systems - Version 1.0
    • Department of Computer Science, University of Tromso, Tromso, Norway
    • JOHANSEN, D., VAN RENNESSE, R., AND SCHNEIDER, F. 1995. An introduction to the TACOMA distributed systems - Version 1.0. Tech. Rep. 95-23. Department of Computer Science, University of Tromso, Tromso, Norway.
    • (1995) Tech. Rep. 95-23
    • Johansen, D.1    Van Rennesse, R.2    Schneider, F.3
  • 15
  • 16
    • 0031188330 scopus 로고    scopus 로고
    • A hands-on look at Java mobile agents
    • July-Aug.
    • KINIRY, J. AND ZIMMERMAN, D. 1997. A hands-on look at Java mobile agents. IEEE Internet Comput. 1, 4 (July-Aug.), 21-33.
    • (1997) IEEE Internet Comput. , vol.1 , Issue.4 , pp. 21-33
    • Kiniry, J.1    Zimmerman, D.2
  • 17
    • 0003682869 scopus 로고
    • Language support for mobile agents
    • Department of Computer Science, Carnegie Mellon University, Pittsburgh, PA. Also Eur. Comput. Industry Centre Tech. Rep. ECRC-95-36
    • KNABE, F. 1995. Language support for mobile agents. Tech. Rep. CMU-CS-95-223. Department of Computer Science, Carnegie Mellon University, Pittsburgh, PA. Also Eur. Comput. Industry Centre Tech. Rep. ECRC-95-36.
    • (1995) Tech. Rep. CMU-CS-95-223
    • Knabe, F.1
  • 19
    • 0039158307 scopus 로고
    • General Magic, Inc., Mountain View, CA
    • GENERAL MAGIC, INC. 1995. Telescript Language Reference. General Magic, Inc., Mountain View, CA.
    • (1995) Telescript Language Reference
  • 21
    • 0032000565 scopus 로고    scopus 로고
    • Compositional programming abstractions for mobile computing
    • Feb.
    • MCCANN, P. J. AND ROMAN, G.-C. 1998. Compositional programming abstractions for mobile computing. IEEE Trans. Softw. Eng. 24, 2 (Feb.), 97-110.
    • (1998) IEEE Trans. Softw. Eng. , vol.24 , Issue.2 , pp. 97-110
    • McCann, P.J.1    Roman, G.-C.2
  • 22
    • 44049113210 scopus 로고
    • A calculus of mobile processes, I
    • Sept.
    • MILNER, R., PARROW, J., AND WALKER, D. 1992. A calculus of mobile processes, I. Inf. Comput. 100, 1 (Sept.), 1-40.
    • (1992) Inf. Comput. , vol.100 , Issue.1 , pp. 1-40
    • Milner, R.1    Parrow, J.2    Walker, D.3
  • 23
  • 24
    • 0003885069 scopus 로고
    • Addison-Wesley Professional Computing Series. Addison-Wesley Longman Publ. Co., Inc., Reading, MA
    • OUSTERHOUT, J. K. 1994. Tcl and the Tk Toolkit. Addison-Wesley Professional Computing Series. Addison-Wesley Longman Publ. Co., Inc., Reading, MA.
    • (1994) Tcl and the Tk Toolkit
    • Ousterhout, J.K.1
  • 25
    • 84949458581 scopus 로고    scopus 로고
    • Expressing code mobility in mobile UNITY
    • Zurich, Switzerland, Sept., M. Jazayeri and H. Schauer, Eds. Springer Lecture Notes in Computer Science, Springer-Verlag, New York, NY, 500-518. Held jointly with the 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering
    • PICCO, G. P., ROMAN, G.-C., AND MCCANN, P. J. 1997. Expressing code mobility in Mobile UNITY. In Proceedings of the 6th European Software Engineering Conference (ESEC/FSE '97, Zurich, Switzerland, Sept.), M. Jazayeri and H. Schauer, Eds. Springer Lecture Notes in Computer Science, vol. 1301. Springer-Verlag, New York, NY, 500-518. Held jointly with the 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering.
    • (1997) Proceedings of the 6th European Software Engineering Conference ESEC/FSE '97 , vol.1301
    • Picco, G.P.1    Roman, G.-C.2    McCann, P.J.3
  • 26
    • 0031189708 scopus 로고    scopus 로고
    • Mobile UNITY: Reasoning and specification in mobile computing
    • July
    • ROMAN, G.-C., MCCANN, P. J., AND PLUN, J. Y. 1997. Mobile UNITY: reasoning and specification in mobile computing. ACM Trans. Softw. Eng. Methodol. 6, 3 (July), 250-282.
    • (1997) ACM Trans. Softw. Eng. Methodol. , vol.6 , Issue.3 , pp. 250-282
    • Roman, G.-C.1    McCann, P.J.2    Plun, J.Y.3
  • 29
    • 0003468988 scopus 로고
    • Sun Microsystems, Inc., Mountain View, CA
    • SUN MICROSYSTEMS. 1995. The Java Language Specification. Sun Microsystems, Inc., Mountain View, CA.
    • (1995) The Java Language Specification
  • 31
    • 0003601975 scopus 로고    scopus 로고
    • Mobile object systems: Towards the programmable internet
    • Springer-Verlag, New York, NY
    • VITEK, J. AND TSCHUDIN, C., EDS. 1997. Mobile Object Systems: Towards the Programmable Internet. Springer Lecture Notes in Computer Science, vol. 1222. Springer-Verlag, New York, NY.
    • (1997) Springer Lecture Notes in Computer Science , vol.1222
    • Vitek, J.1    Tschudin, C.2
  • 32
    • 0000133669 scopus 로고    scopus 로고
    • Mobile agents
    • J. M. Bradshaw, Ed. MIT Press, Cambridge, MA
    • WHITE, J. E. 1997. Mobile agents. In Software Agents, J. M. Bradshaw, Ed. MIT Press, Cambridge, MA, 437-472.
    • (1997) Software Agents , pp. 437-472
    • White, J.E.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.