Sciweavers

49 search results - page 4 / 10
» Repairing software style using graph grammars
Sort
View
HICSS
2007
IEEE
140views Biometrics» more  HICSS 2007»
14 years 1 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
TAGT
1994
Springer
154views Graph Theory» more  TAGT 1994»
13 years 11 months ago
Issues in the Practical Use of Graph Rewriting
Graphs are a popular data structure, and graph-manipulation programs are common. Graph manipulations can be cleanly, compactly, and explicitly described using graph-rewriting notat...
Dorothea Blostein, Hoda Fahmy, Ann Grbavec
ECAL
2003
Springer
14 years 23 days ago
Representation of Genotype and Phenotype in a Coherent Framework Based on Extended L-Systems
A formal language approach for the specification of ALife models is presented. “Relational Growth Grammars” incorporate rulebased, procedural and object-oriented concepts. By ...
Ole Kniemeyer, Gerhard H. Buck-Sorlin, Winfried Ku...
SEW
2005
IEEE
14 years 1 months ago
A Generative Style-driven Framework for Software Architecture Design
Compared with texts, graphs are more intuitive to express comparative and structural information. Many graphical approaches, however, lack a formal basis for precise specification...
Jun Kong, Kang Zhang, Jing Dong, Guang-Lei Song
POPL
1997
ACM
13 years 11 months ago
Shape Types
Type systems currently available for imperative languages are too weak to detect a significant class of programming errors. For example, they cannot express the property that a l...
Pascal Fradet, Daniel Le Métayer