2493 search results - page 263 / 499 » Tool Support for Design by Contract |
147
click to vote
ICCAD
2006
IEEE
16 years 21 days ago
2006
IEEE
Designing asynchronous circuits by reusing existing synchronous tools has become a promising solution to the problem of poor CAD support in asynchronous world. A straightforward w...
184
click to vote
ISESE
2005
IEEE
16 years 7 days ago
2005
IEEE
Programmers often have to perform change tasks that involve unfamiliar portions of a software system’s code base. To help inform the design of software development tools intende...
167
click to vote
AIRS
2004
Springer
16 years 1 days ago
2004
Springer
Carrying out experiments in Information Retrieval is a heavy activity requiring fast tools to treat collections of significant size, and at the same time flexible tools to leave...
157
click to vote
TOOLS
2000
IEEE
15 years 11 months ago
2000
IEEE
— In Java, method implementations are chosen at runtime by late-binding with respect to the runtime class of just the receiver argument. However, in order to simplify many progra...
189
click to vote
TOOLS
2000
IEEE
15 years 11 months ago
2000
IEEE
Some designers of class-based object oriented languages choose not to support multiple inheritance. As a result, programmers often resort to ad hoc workarounds. The most common of...