DEXAW
2002
IEEE
13 years 10 months ago
2002
IEEE
The CIPHER project is concerned with developing tools and methodologies to support the exploration of cultural heritage via web-based Cultural Heritage Forums. As part of the proj...
CSMR
2002
IEEE
13 years 10 months ago
2002
IEEE
To successfully carry out a software maintenance or reengineering task, a suitably assembled set of tools is required, which interoperate seaminglessly. To achieve this goal, an e...
FM
2003
Springer
13 years 10 months ago
2003
Springer
This paper presents experiments on formal validation of Java applets. It describes a tool that has been developed at the Gemplus Research Labs. This tool allows to formally prove J...
CICLING
2003
Springer
13 years 10 months ago
2003
Springer
NLPsystem developers and corpus lexicographers would both bene t from a tool for nding and organizing the distinctive patterns of use of words in texts. Such a tool would be an ass...
SC
2003
ACM
13 years 10 months ago
2003
ACM
We present MRNet, a software-based multicast/reduction network for building scalable performance and system administration tools. MRNet supports multiple simultaneous, asynchronou...
ITICSE
2003
ACM
13 years 10 months ago
2003
ACM
This paper presents HTTPExplorer, an interactive tool to explore the Hypertext Transfer Protocol. The intention is to use the tool in a course on web-based applications to support...
SCAM
2003
IEEE
13 years 10 months ago
2003
IEEE
Software maintenance, program analysis and transformation tools almost always rely on static source code analysis as the first and fundamental step to gather information. In the ...
IWPSE
2003
IEEE
13 years 10 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...
IWPC
2003
IEEE
13 years 10 months ago
2003
IEEE
A key desideratum for many software comprehension tools is to reduce the mental burdens of software engineers. That is, the tools should support cognition. This key benefit is di...
ICSM
2003
IEEE
13 years 10 months ago
2003
IEEE
Software maintainers and auditors would benefit from a tool to help them focus their attention on functions that are likely to be the source of security vulnerabilities. However,...