1782 search results - page 187 / 357 » Tool Support for Proof Engineering |
222
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
This article proposes a research agenda aimed at enabling optimized testing and analysis processes and tools to support component-based software development communities. We hypoth...
175
click to vote
ENTCS
2008
15 years 6 months ago
2008
Mathematical texts can be computerized in many ways that capture differing amounts of the mathematical meaning. At one end, there is document imaging, which captures the arrangeme...
166
click to vote
BPM
2009
Springer
16 years 1 months ago
2009
Springer
The management of development processes is a challenging task and needs adequate tool support. In the course of a development project, many different engineering and management pr...
162
click to vote
CCECE
2006
IEEE
16 years 17 days ago
2006
IEEE
The wavelet transform is a very popular tool in engineering for signal analysis. With respect to image compression, the new JPEG 2000 image standard incorporates wavelet transform...
201
click to vote
IEEEICCI
2002
IEEE
15 years 11 months ago
2002
IEEE
There are already many projects focusing on Computer Aided Software Engineering (CASE) tools for object-oriented analysis and design. However, at this moment, there are certain li...