2493 search results - page 263 / 499 » Tool Support for Design by Contract |
ICCAD
2006
IEEE
15 years 5 months 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...
ISESE
2005
IEEE
15 years 4 months 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...
AIRS
2004
Springer
15 years 4 months 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...
TOOLS
2000
IEEE
15 years 3 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...
107
click to vote
TOOLS
2000
IEEE
15 years 3 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...