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 :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=351671
بازگشت