6016 search results - page 27 / 1204 » The semantics of graphical languages |
120
click to vote
ADBIS
1997
Springer
15 years 8 months ago
1997
Springer
A graphical formalized language is proposed for specifying systems of views over database schemas. The language is based on the notion of arrow (mapping) between data schemas and ...
125
click to vote
CONCUR
2004
Springer
15 years 9 months ago
2004
Springer
Netcharts have been introduced recently by Mukund et al. in [17]. This new appealing approach to the specification of collections of message sequence charts (MSCs) benefits from ...
128
click to vote
ECMDAFA
2005
Springer
15 years 9 months ago
2005
Springer
Language-centric methodologies, triggered by the success of Domain Specific Languages, rely on precise specifications of modeling s. While the definition of the abstract syntax ...
162
click to vote
RWEB
2010
Springer
15 years 1 months ago
2010
Springer
Ontologies constitute formal models of some aspect of the world that may be used for drawing interesting logical conclusions even for large models. Software models capture relevant...
117
click to vote
SIGADA
2004
Springer
15 years 9 months ago
2004
Springer
This paper describes several tools related to the Ada language that were developed to support the teaching of a computer graphics course. These tools include an updated and improv...