390 search results - page 6 / 78 » Using Graph Transformations and Graph Abstractions for Softw... |
ERSHOV
2006
Springer
13 years 10 months ago
2006
Springer
Graph transformations are one of the best known approaches for defining transformations in model-based software development. They are defined over the abstract syntax of source and...
JSS
2010
13 years 3 months ago
2010
In this paper we propose a method to derive OCL invariants from declarative model-to-model transformations in order to enable their verification and analysis. For this purpose we ...
ENTCS
2008
13 years 8 months ago
2008
Abstract Machine Greg Manning1 Detlef Plump2 Department of Computer Science The University of York, UK duce the York Abstract Machine (YAM) for implementing the graph programming ...
MPC
2010
Springer
13 years 10 months ago
2010
Springer
ion of Object Graphs in Program Verification Yifeng Chen1 and J.W. Sanders2 1 HCST Key Lab at School of EECS, Peking University, China. 2 UNU-IIST, Macao. A set-theoretic formalism...
ENTCS
2008
13 years 8 months ago
2008
Graphical notations are already popular for the design of software, as witnessed by the success of the Uniform Modeling Languages (UML). In this paper, we advocate the use of grap...