Sciweavers

390 search results - page 1 / 78
» Using Graph Transformations and Graph Abstractions for Softw...
Sort
View
100
Voted
VSTTE
2005
Springer
15 years 9 months ago
Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification
Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takah...
126
Voted
COMPSAC
2003
IEEE
15 years 9 months ago
A Graph Grammar Approach to Software Architecture Verification and Transformation
Software architecture and design are usually modeled and represented by informal diagrams, such as architecture diagrams and UML diagrams. While these graphic notations are easy t...
Jun Kong, Kang Zhang, Jing Dong, Guang-Lei Song
144
Voted
BIRTHDAY
2005
Springer
15 years 5 months ago
From Graph Transformation to Software Engineering and Back
Software engineers usually represent problems and solutions aph-based notations at different levels of abstractions. These notations are often semi-formal, but the use of graph tr...
Luciano Baresi, Mauro Pezzè
160
Voted
HICSS
2007
IEEE
140views Biometrics» more  HICSS 2007»
15 years 10 months ago
Design Pattern Evolution and Verification Using Graph Transformation
This paper presents a graph transformation based approach to design pattern evolution. An evolution of a design pattern includes modifications of pattern elements, such as classes...
Chunying Zhao, Jun Kong, Kang Zhang