6016 search results - page 98 / 1204 » The semantics of graphical languages |
143
click to vote
ACL
1996
15 years 5 months ago
1996
In this paper, we show that Higher-Order Coloured Unification - a form of unification developed for automated theorem proving - provides a general theory for modeling the interfac...
168
click to vote
ISTAR
2008
15 years 6 months ago
2008
One major obstacle to requirements engineering (RE) is the growing complexity of today's systems. Such a complexity can only be fficiently by powerful abstraction mechanisms a...
118
click to vote
COLING
2002
15 years 4 months ago
2002
With the rapid growth of real application domains for NLP systems, there is a genuine demand for a general toolkit from which programmers with no linguistic knowledge can build sp...
131
click to vote
ENTCS
2006
15 years 4 months ago
2006
We define a compositional operational semantics for state machines and their composition in UML. Each state machine describes the behavior of an object of a class. If a class of a...
126
click to vote
ER
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. The modelling of landscape environment is a cognitive activity, that still requires novel kinds of spatial representations. This paper introduces a structural categorisat...