Formal Modeling and Analysis of Object Oriented Systems using Triple Graph Grammars

Publisher： IGI Global_journal

E-ISSN： 1947-3184|6|2|48-64

ISSN： 1947-3176

Source： International Journal of Embedded and Real-Time Communication Systems (IJERTCS), Vol.6, Iss.2, 2015-04, pp. : 48-64

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

Guest editorial: On Modeling Object-Oriented Information Systems

By Wang Yingxu   Patel Shushma  

Software and Systems Modeling (SoSyM), Vol. 3, Iss. 4, 2004-12 ,pp. : 258-261

Springer Publishing Company

Access to resources Recommend Favorite

Performance Modeling and Analysis of Distributed Object-Oriented Software

By Ammar Reda.   Abdel-Raouf Amal.   Fergany Tahany A.  

Computing Letters, Vol. 1, Iss. 1, 2005-01 ,pp. : 1-10

VSP

Access to resources Recommend Favorite

Breeze graph grammar: a graph grammar approach for modeling the software architecture of big data‐oriented software systems

By  

SOFTWARE:PRACTICE AND EXPERIENCE, Vol. 45, Iss. 8, 2015-08 ,pp. : 1023-1050

John Wiley & Sons Inc

Access to resources Recommend Favorite

Formal modelling and analysis of XML firewall for service-oriented systems

By Xu Haiping   Ayachit Mihir   Reddyreddy Abhinay  

International Journal of Security and Networks, Vol. 3, Iss. 3, 2008-08 ,pp. : 147-160

Inderscience Publishers

Access to resources Recommend Favorite

Verifying Object-based Graph Grammars: An Assume-guarantee Approach

By Dotti Fernando   Ribeiro Leila   Santos Osmar   Pasini Fábio  

Software and Systems Modeling (SoSyM), Vol. 5, Iss. 3, 2006-09 ,pp. : 289-311

Springer Publishing Company

Access to resources Recommend Favorite