5433 search results - page 631 / 1087 » Tool Support for Traceability-Adaptation |
186
click to vote
PDP
2005
IEEE
16 years 21 days ago
2005
IEEE
The OpenMP source code repository is based on a set of representative applications and it is supported by a web site. It is an infrastructure that we make available to the communi...
173
click to vote
SEFM
2005
IEEE
16 years 21 days ago
2005
IEEE
The three main assertion-based verification approaches are: Design by Contract (DBC), Extended Static Checking (ESC) and Verified Design by Contract (VDBC). Each approach offers a...
158
click to vote
SWSTE
2005
IEEE
16 years 21 days ago
2005
IEEE
We present a new automated software acceptance tests framework. The framework is novel in supporting the entire lifecycle and all QA activities, including test maintenance over mu...
184
click to vote
IUI
2005
ACM
16 years 20 days ago
2005
ACM
SemanticTalk is a tool for supporting face-to-face meetings and discussions by automatically generating a semantic context from spoken conversations. We use speech recognition and...
157
click to vote
SOFTVIS
2005
ACM
16 years 20 days ago
2005
ACM
Programming in parallel is an error-prone and complex task compounded by the lack of tool support for both programming and debugging. Recent advances in compiler-directed shared m...