Titlebook: ;

MIME

Multilevel graph grammars, are not visible and the information can be restored via the explicit application of productions. The notions of applicability and derivation are investigated and the compatibility of the representations with the derivations is shown. Production mechanisms for multilevel graph are motivated by probl

reception

curriculum

On domination elimination orderings and domination graphs,ion of perfect elimination orderings, so called domination elimination orderings (.). We show that graphs with the property that each induced subgraph has a . (domination graphs) are related to formulas that can be reduced to formulas with a very simple structure. We also show that every brittle gra

ectropion

forecast

Dominoes,hs of bipartite graphs, and is in turn properly contained in the class of claw-free graphs. We give some characterizations of this class of graphs, show that they can be recognized in linear time, give a linear time algorithm for listing all maximal cliques (which implies a linear time algorithm com

appall

GLB-closures in directed acyclic graphs and their applications,he glb-closure of . is the smallest glb-closed subset containing .. An efficient output sensitive algorithm for computing glb-closures is presented and two applications in the field of object-oriented programming languages are discussed.

小教堂

宠爱

滑动

Specification of graph translators with triple graph grammars,of requirements and software design documents, and it provides more or less sophisticated assistance for keeping these documents in a consistent state. Up to now, almost all data consistency observing or preserving integration tools are hand-crafted due to the lack of generic implementation framewor

Palpable

Using programmed graph rewriting for the formal specification of a configuration management system,eering domains (e.g. electrical, mechanical, and software engineering). This observation has driven us to develop a configuration management model (called CoMa) for managing systems of engineering design documents. The CoMa model integrates composition hierarchies, dependencies, and versions into a