2060 search results - page 152 / 412 » The Composition of Event-B Models |
195
click to vote
GVD
2000
15 years 7 months ago
2000
In this paper we propose a meta-modeling approach to adaptive knowledge management. It extends previous work by introducing an application-specific layer which allows to specify m...
265
click to vote
NADA
1998
Springer
15 years 10 months ago
1998
Springer
abstractions to focus on principle issues and impose structure - Model behaviour - Determine correctness - Recursive equational axiomatisations with precise semantics yet algorithm...
142
click to vote
COORDINATION
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We present a model for choreography `a la WS-CDL and formalize it in DSTL(x), a spatio
166
click to vote
CBSE
2007
Springer
16 years 20 days ago
2007
Springer
Data encapsulation is a familiar property in object-oriented programming. It is not only useful for modelling things in the real world, but it also facilitates reuse by enabling th...
155
click to vote
AVI
2010
15 years 8 months ago
2010
This paper reports on an empirical study designed as a follow-up of a theoretical model intended to support reasoning about the composition of smart artifacts by end-users. We hav...