Modeling and Verifying Composite Dynamic Evolution of Software Architectures using Hypergraph Grammars.

Hongzhen Xu Guosun Zeng

Published in: Int. J. Softw. Eng. Knowl. Eng. (2013)

Keyphrases

software architecture
description language
product line
impact analysis
reference model
software engineering
software development
software systems
dynamic aspects
embedded software
dynamic behavior
real world
higher order
object oriented
multi agent systems
natural language
machine learning