647 search results - page 52 / 130 » An Approach to Relate Viewpoints and Modeling Languages |
VISUAL
1999
Springer
15 years 4 months ago
1999
Springer
In this paper we propose a new General Image DataBase (GIDB) model. The model establishes taxonomy based on the systematisation of existing approaches. The GIDB model is based on t...
134
click to vote
FOSSACS
2001
Springer
15 years 4 months ago
2001
Springer
Hierarchical Message Sequence Charts are a well-established formalism to specify telecommunication protocols. In this model, numerous undecidability results were obtained recently ...
123
click to vote
DOCENG
2008
ACM
15 years 1 months ago
2008
ACM
Malan is a MApping LANguage that allows the generation of transformation programs by specifying a schema mapping between a source and target data schema. By working at the schema ...
125
click to vote
FOSSACS
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. Domain theory began in an attempt to provide mathematical models for high-level programming languages, an area where it has proved to be particularly useful. It is perhap...
UML
2001
Springer
15 years 4 months ago
2001
Springer
: There are several reasons to specify UML models in a formal way The most important are to avoid inconsistencies and ambiguities and to do verification and forecasting of system p...