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

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

By  

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

IGI Global_journal

Access to resources Recommend Favorite

Collaborative querying using the Query Graph Visualizer

By Goh Dion Hoe-Lian   Fu Lin   Foo Schubert Shou-Boon  

Online Information Review, Vol. 29, Iss. 3, 2005-06 ,pp. : 266-282

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

An ontology-driven approach for collaborative ubiquitous systems

By Sancho G.  

International Journal of Autonomic Computing, Vol. 1, Iss. 3, 2010-05 ,pp. : 263-279

Inderscience Publishers

Access to resources Recommend Favorite

Graph Grammars for Querying Graph-like Data

By Flesca S.   Furfaro F.   Greco S.  

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

Elsevier

Access to resources Recommend Favorite