UCL Discovery
UCL home » Library Services » Electronic resources » UCL Discovery

Specification, analysis, and prototyping of mobile systems

Mascolo, C.; (1999) Specification, analysis, and prototyping of mobile systems. In: Proceedings of 21st International Conference on Software Engineering(ICSE-99). (pp. pp. 724-725). IEEE Computer Society Press: Los Angeles, California, USA. Green open access

[thumbnail of 4.3_mascolo] PDF
4.3_mascolo

Download (107kB)

Abstract

Mobile code offers new strategies for the development of systems. I adopt a formal approach to study advantages, limitations, classification, and future trends of mobile code technologies.

Type: Proceedings paper
Title: Specification, analysis, and prototyping of mobile systems
ISBN: 1581130740
Open access status: An open access version is available from UCL Discovery
Publisher version: http://portal.acm.org/citation.cfm?id=302996&coll=...
Language: English
Additional information: ©1999 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.
Keywords: formalization, mobile code, prototyping, verification
URI: https://discovery.ucl.ac.uk/id/eprint/834
Downloads since deposit
738Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item