204 search results - page 8 / 41 » Tool support for working with sets of source code entities |
CBSE
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. The use of software component models has become popular during the last decade, in particular in the development of software for desktop applications and distributed info...
HICSS
2007
IEEE
14 years 1 months ago
2007
IEEE
Most test coverage analyzers help in evaluating the effectiveness of testing by providing data on statement and branch coverage achieved during testing. If made available, the cov...
ICSM
2008
IEEE
14 years 2 months ago
2008
IEEE
More than 90% of the cost of software is due to maintenance and evolution. Understanding the evolution of large software systems is a complex problem, which requires the use of va...
WSC
2008
13 years 10 months ago
2008
Tunnel construction are essentially infrastructure projects that includes many interfered and sophisticated tasks. This paper presents a decision support tool, Tunnel_Sim, for pla...
ICWE
2007
Springer
14 years 1 months ago
2007
Springer
: In this work we report our experience in applying model checking techniques to the analysis of static and dynamic properties of Web application models. We propose a mix of tools ...