1782 search results - page 104 / 357 » Tool Support for Proof Engineering |
180
click to vote
STTT
2008
15 years 6 months ago
2008
Abstract This paper is about tool support for knowledgeintensive engineering tasks. In particular, it introduces software technology to assist the design of complex technical syste...
189
click to vote
JUCS
2010
15 years 4 months ago
2010
: In the paper application of semantic wikis as knowledge engineering tool in a collaborative environment is considered. Selected aspects of semantic wikis are discussed. The main ...
193
click to vote
RE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract The generation of traceability links or traceability matrices is vital to many software engineering activities. It is also person-power intensive, time-consuming, error-pr...
166
click to vote
ADAEUROPE
1997
Springer
15 years 10 months ago
1997
Springer
The systematic test is an inevitable part of the verification and validation process for software. Overall support for all testing activities is currently not available in a singl...
138
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
MetaCrystal enables users to visualize and control the degree of overlap between the results returned by different search engines. Several linked overview tools support rapid expl...