5608 search results - page 476 / 1122 » Structure description tools |
161
click to vote
ET
2002
15 years 6 months ago
2002
In this paper we explore two alternative approaches to system diagnosis. The first strategy is based on testability analysis performed by SATAN tool. The second approach performed ...
326
click to vote
FROCOS
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...
183
Voted
Publication
Conversations between colleagues in collaborative
software engineering are important for coordinating work, sharing
knowledge and creating knowledge. Overhearing conversations
o...
167
click to vote
WCRE
2009
IEEE
16 years 1 months ago
2009
IEEE
—For a long time, dynamic tracing has been an enabling technique for reverse engineering tools. Tracing can not only be used to record the control flow of a particular component...
188
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper presents a technique to visualize the communication pattern of a parallel application at different points during its execution. Unlike many existing tools that show the...