6197 search results - page 181 / 1240 » Sandbridge Software Tools |
AMAST
2010
Springer
13 years 4 months ago
2010
Springer
Fusion is an indispensable tool in the arsenal of techniques for program derivation. Less well-known, but equally valuable is type fusion, which states conditions for fusing an app...
ADAEUROPE
1997
Springer
14 years 1 months ago
1997
Springer
The systematic test is an inevitable part of the verification and validation process for software. Overall support for all testing activities is currently not available in a singl...
SIGSOFT
2010
ACM
13 years 7 months ago
2010
ACM
While many uses of mined software engineering data are automatic in nature, some techniques and studies either require, or can be improved, by manual methods. Unfortunately, manua...
ICSE
2009
IEEE-ACM
13 years 7 months ago
2009
IEEE-ACM
traceMaintainer is a tool that supports an approach for maintaining post-requirements traceability relations after changes have been made to traced model elements. The update of t...
ISPW
2007
IEEE
14 years 3 months ago
2007
IEEE
The primary objective of all software engineering courses is to help students learn how to develop successful software systems with good software engineering practices. Various too...