6197 search results - page 266 / 1240 » Sandbridge Software Tools |
166
Voted
ECOOP
2007
Springer
15 years 10 months ago
2007
Springer
Creating a software product line from a legacy application is a difficult task. We propose a tool that helps automating tedious tasks of refactoring legacy applications into featu...
172
click to vote
FMCO
2006
Springer
15 years 10 months ago
2006
Springer
This paper is a tutorial on performing formal specification and semi-automatic verification of Java programs with the formal software development tool KeY. This tutorial aims to fi...
241
click to vote
ICSE
2010
IEEE-ACM
15 years 8 months ago
2010
IEEE-ACM
The feature list of modern IDEs is steadily growing and mastering these tools becomes more and more demanding, especially for novice programmers. Despite their remarkable capabili...
140
click to vote
SCSC
2007
15 years 8 months ago
2007
The concepts of simulation based design and simulation as specification require support from appropriate computing tools. The Virtual Test Bed software continues to evolve to prov...
205
click to vote
PR
2002
15 years 6 months ago
2002
A software package developed for the purpose of feature selection in statistical pattern recognition is presented. The software tool includes both several classical and new method...