7189 search results - page 1205 / 1438 » Connecting Design with Code |
154
click to vote
VL
2005
IEEE
15 years 9 months ago
2005
IEEE
Design by Contract (DbC) is widely acknowledged to be a powerful technique for creating reliable software. DbC allows developers to specify the behavior of an operation precisely ...
150
click to vote
VL
2005
IEEE
15 years 9 months ago
2005
IEEE
Executable UML models are nowadays gaining interest in embedded systems design. This domain is strongly devoted to the modeling of reactive behavior using StateChart variants. In ...
132
click to vote
SAC
2005
ACM
15 years 9 months ago
2005
ACM
A mixin is a reusable module that provides uniform extend modifications to classes. It is an abstract subclass that is composable with a variety of superclasses. In mixinbased co...
127
click to vote
UIST
2005
ACM
15 years 9 months ago
2005
ACM
We introduce PlayAnywhere, a front-projected computer vision-based interactive table system which uses a new commercially available projection technology to obtain a compact, self...
167
click to vote
VEE
2005
ACM
15 years 9 months ago
2005
ACM
We introduce a strategy for inlining native functions into JavaTM applications using a JIT compiler. We perform further optimizations to transform inlined callbacks into semantica...