27119 search results - page 5044 / 5424 » Languages |
189
click to vote
STTT
2010
15 years 5 months ago
2010
Kermeta is a meta-language for specifying the structure and behavior of graphs of interconnected objects called models. In this paper, we show that Kermeta is relatively suitable f...
187
click to vote
STTT
2010
15 years 5 months ago
2010
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...
164
click to vote
TLT
2010
15 years 5 months ago
2010
—It seems self-evident that life for teachers would be simplified if there existed a large corpus of relevant resources that was available for them to reuse and for inquisitive s...
164
click to vote
TOSEM
2010
15 years 5 months ago
2010
e, or XPI. XPIs abstract crosscutting behaviors and make these abstractions explicit. XPIs can be used, albeit with limited enforcement of interface rules, with existing AOP langua...
173
click to vote
TSE
2010
15 years 5 months ago
2010
—Recently, there has been a proliferation of service-based systems, i.e. software systems that are composed of autonomous services, but can also use software code. In order to su...