2493 search results - page 181 / 499 » Tool Support for Design by Contract |
185
click to vote
ACMDIS
2006
ACM
16 years 15 days ago
2006
ACM
Human-computer interaction research often includes a significant design component. In cases where software or other tools are developed and described, but no empirical evaluation ...
165
click to vote
AICCSA
2005
IEEE
15 years 8 months ago
2005
IEEE
Object-oriented frameworks are a powerful reuse technique but they are also very complex and difficult to design. Framework’s design aims at separating the invariant aspects acr...
158
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
Property checking is a promising approach to prove the correctness of today’s complex designs. However, in practice this requires the formulation of formal properties which is a...
170
click to vote
CODES
2005
IEEE
16 years 4 days ago
2005
IEEE
With growing system complexities, system-level communication design is becoming increasingly important and advanced, network-oriented communication architectures become necessary....
150
click to vote
KBSE
1997
IEEE
15 years 10 months ago
1997
IEEE
Despite vast interest in design patterns, the specification and application of patterns is generally assumed to rely on manual implementation. We describe a precise method of spec...