A Graph Transformation View on the Specification of Applications using Mobile Code

Author： Corradini A.   Dotti F.L.   Ribeiro L.  

Publisher： Elsevier

ISSN： 1571-0661

Source： Electronic Notes in Theoretical Computer Science, Vol.50, Iss.3, 2004-01, pp. : 1-9

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Towards a Specification Language for Mobile Applications

By  

International Journal of Software Science and Computational Intelligence (IJSSCI), Vol. 5, Iss. 2, 2013-04 ,pp. : 58-76

IGI Global_journal

Access to resources Recommend Favorite

Mapping Mobile Statechart Diagrams to the π-Calculus using Graph Transformation: An Approach for Modeling, Simulation and Verification of Mobile Agent-based Software Systems

By  

International Journal of Intelligent Information Technologies (IJIIT), Vol. 12, Iss. 4, 2016-10 ,pp. : 1-20

IGI Global_journal

Access to resources Recommend Favorite

StoryToCode: a new model for specification of convergent interactive digital TV applications

By Marques Neto Manoel  

Journal of the Brazilian Computer Society, Vol. 16, Iss. 4, 2010-11 ,pp. : 215-227

Springer Publishing Company

Access to resources Recommend Favorite

A graph transformation approach of mobile activity diagram to nested Petri nets

By Guerrouf Fayçal  

International Journal of Computer Aided Engineering and Technology, Vol. 5, Iss. 1, 2013-11 ,pp. : 44-57

Inderscience Publishers

Access to resources Recommend Favorite

Analysing refactoring dependencies using graph transformation

By Mens Tom  

Software and Systems Modeling (SoSyM), Vol. 6, Iss. 3, 2007-09 ,pp. : 269-285

Springer Publishing Company

Access to resources Recommend Favorite