1782 search results - page 29 / 357 » Tool Support for Proof Engineering |
118
click to vote
IV
2009
IEEE
15 years 9 months ago
2009
IEEE
The MOST bus is a current bus technology for connecting multimedia components in cars, such as radios, navigation systems, or media players. The bus functionality is described in ...
112
click to vote
IWPSE
2003
IEEE
15 years 8 months ago
2003
IEEE
Current refactoring tools only provide support for performing selected refactorings. We show how tool support can be provided for the preparatory phases of refactoring as well, by...
137
click to vote
POPL
2012
ACM
13 years 10 months ago
2012
ACM
We present an analysis which takes as its input a sequential program, augmented with annotations indicating potential parallelization opportunities, and a sequential proof, writte...
CAISE
2004
Springer
15 years 8 months ago
2004
Springer
Method configuration (MC) has been presented as a particular kind of method engineering (ME). ME in general is often a tedious and time consuming task and method configuration is n...
123
click to vote
OOPSLA
2007
Springer
15 years 9 months ago
2007
Springer
This article reveals our work on refactoring plug-ins for Eclipse’s C++ Development Tooling (CDT). With CDT a reliable open source IDE exists for C/C++ developers. Unfortunately...