The introduction of symbolic model checking using Binary Decision Diagrams (BDDs) has
led to a substantial extension of the class of systems that can be algorithmically verified …

The visual environment GENGED supports the visual definition of visual languages (VLs).
Each VL is defined by an alphabet and a grammar. From a specific VL-definition, a VL …

Diagrammatic visual languages can increase the ability of engineers to model and
understand complex systems. However, to effectively use visual models, the syntax and …

In this paper we consider a simple kind of the statechart language which is supported by the
CASE tool Rhapsody. This kind of statecharts is already modeled in [4] using graph …

Visual Language Parsing in GenGEd1 Page 1 Electronic Notes in Theoretical Computer
Science 50 No. 3 (2001) - Proc. GT-VMT 2001 ЭЪФ иид ЛЛлллК аз к жКваЛаг и Л ви зЛкгайб …

The paper suggests a two-level approach to describe visually software architectures and
their evolution. One visual modeling formalism is used to describe the architecture level …

LNCS 3393 - A Formal Framework for the Development of Concurrent Object-Based Systems
Page 1 A Formal Framework for the Development of Concurrent Object-Based Systems * Leila …

Visual modeling techniques including UML as well as graph and net based techniques are
of growing interest for software system speci cation and development. The GenGEd …

In this contribution we introduce GenGEd, an environment which is used to interactively
specify and generate syntax-directed editors for visual languages. In analogy to textual …

Let Σ be an arbitrary signature and ϒ be a non-empty set of operation symbols within it. A
(partial) Σ-algebra is ϒ-total when all its operations in ϒ are total: these are the partly total …