3765 search results - page 286 / 753 » Formal Methods for Systems Engineering Behavior Models |
160
click to vote
FASE
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. The Object Constraint Language OCL offers a formal notation for constraining the modelling elements occurring in UML diagrams. In this paper we apply OCL for developing ...
154
click to vote
AVI
1998
15 years 8 months ago
1998
Our work focuses on the design of interaction techniques for large information spaces. Our goal is not to define yet another visualization technique but to provide insights for th...
213
click to vote
AGTIVE
2007
Springer
16 years 26 days ago
2007
Springer
In this article, we propose to use the Discrete EVent system Specification (DEVS) formalism to describe and execute graph transformation control structures. We provide a short rev...
171
click to vote
APSEC
2000
IEEE
15 years 11 months ago
2000
IEEE
Explosive increase in end-user computing on distributed systems requires that end-users develop application software by themselves. One solution is given as a formula of “a doma...
165
click to vote
GIR
2008
ACM
15 years 7 months ago
2008
ACM
There is a need for GIR systems to interpret the vague aspects of spatial language. Here we describe an initial approach towards evaluating crisp realisations of a field-based mo...