A Graph Grammar Approach to Software Architecture Verification and Transformation.

Jun Kong Kang Zhang Jing Dong Guang-Lei Song

Published in: COMPSAC (2003)

Keyphrases

software architecture
graph grammars
description language
context sensitive
software engineering
distributed systems
software systems
context free
grammar rules
model checking
embedded software
functional requirements
software development
multi agent systems
databases
source code
probability distribution
low level