2127 search results - page 97 / 426 » Software Automation |
146
click to vote
ICCBR
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. For the improvement of software quality and productivity, organizations need to systematically build up and reuse software engineering know-how, promoting organizational ...
112
click to vote
JUCS
2008
15 years 2 months ago
2008
: Most today's web sources do not provide suitable interfaces for software programs to interact with them. Many researchers have proposed highly effective techniques to addres...
143
click to vote
KBSE
2010
IEEE
15 years 27 days ago
2010
IEEE
The need for automated software engineering tools and techniques continues to grow as the size and complexity of studied systems and analysis techniques increase. Software enginee...
FMCAD
2009
Springer
15 years 9 months ago
2009
Springer
—Sequential equivalence checking (SEC) technologies, capable of demonstrating the behavioral equivalence of two designs, have grown dramatically in capacity over the past decades...
119
click to vote
COMPSAC
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper presents an automated software tool SQUARE (Software QUality and ARchitecture modelling Environment). It is designed and implemented to support the analysis of software...