502 search results - page 32 / 101 » Visual Formalisms Revisited |
FTRTFT
1998
Springer
13 years 12 months ago
1998
Springer
Visual description techniques are particularly important for the design of hybrid systems because specifications of such systems must usually be discussed between engineers from a ...
AGTIVE
2007
Springer
13 years 11 months ago
2007
Springer
Meta-modeling is well known to define the basic concepts of domain-specific languages in an object-oriented way. Based on graph transformation, an abstract meta-model may be enhanc...
VL
2002
IEEE
14 years 19 days ago
2002
IEEE
We have been working on a unit system for end-user spreadsheets that is based on the concrete notion of units of the abstract concept of types. In previous work, we defined such ...
DIAGRAMS
2000
Springer
14 years 2 days ago
2000
Springer
The goal of the paper is to explicate some common formal logic underlying various notational systems used in visual modeling. The idea is to treat the notational diversity as the d...
RR
2010
Springer
13 years 6 months ago
2010
Springer
The development and use of ontologies may require users with no training in formal logic to handle complex concept descriptions. To aid such users, we propose a new visualization f...