DocumentCode
351671
Title
Specification, analysis, and prototyping of mobile systems
Author
Mascolo, Cecilia
Author_Institution
Dept. of Comput. Sci., Bologna Univ., Italy
fYear
1999
fDate
22-22 May 1999
Firstpage
724
Lastpage
725
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.
Keywords
distributed programming; formal specification; formal verification; mobile computing; software prototyping; formalization; mobile code; mobile systems; prototyping; verification; Automatic logic units; Computer science; Formal languages; Java; Mobile agents; Performance analysis; Permission; Prototypes; Safety; Tail;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering, 1999. Proceedings of the 1999 International Conference on
Conference_Location
Los Angeles, CA, USA
ISSN
0270-5257
Print_ISBN
1-58113-074-0
Type
conf
Filename
841103
Link To Document