Formal Development Of Mobile Applications Based On Migrant Objects (mamos)
Résumé: Software engineering principles are very required for the development of mobile applications, which are necessary for many life applications. In this work, we present a development process based on TGG and Xpand transformations of UML models, which describe mobile applications based on migrant objects to Mobile Maude language. The generated rewriting theories will be executed for simulation. State transition models may be built during simulation, which will be veri ed against LTL properties with the technique of model-checking. The veri ed model of mobile application based on migrant objects can be used to generate Android applications to be deployed on mobile devices.
Mots-clès:
Nos services universitaires et académiques
Thèses-Algérie vous propose ses divers services d’édition: mise en page, révision, correction, traduction, analyse du plagiat, ainsi que la réalisation des supports graphiques et de présentation (Slideshows).
Obtenez dès à présent et en toute facilité votre devis gratuit et une estimation de la durée de réalisation et bénéficiez d'une qualité de travail irréprochable et d'un temps de livraison imbattable!
Aucun fichier associé
Si le fichier est volumineux, l'affichage peut échouer. Vous pouvez obtenir le fichier directement en cliquant sur le bouton "Télécharger".
