8627 search results - page 149 / 1726 » Software Engineering Using RATionale |
SCAM
2007
IEEE
15 years 5 months ago
2007
IEEE
To encourage open source/libre software development, it is desirable to have tools that can help to identify open source license violations. This paper describes the implementatio...
109
click to vote
RE
1999
Springer
15 years 3 months ago
1999
Springer
This paper describes a feasibility study into the use of a formal requirements modeling method (SCR) to assist with Independent Verification and Validation of change requests for ...
ICSE
2009
IEEE-ACM
15 years 6 months ago
2009
IEEE-ACM
Before performing drastic changes to a project, it is worthwhile to thoroughly explore the available options within the current structure of a project. An alternative to drastic c...
ICST
2009
IEEE
15 years 5 months ago
2009
IEEE
Software products released into the field typically have some number of residual defects that either were not detected or could not have been detected during testing. This may be...
CSMR
2007
IEEE
15 years 5 months ago
2007
IEEE
Many of the existing techniques for impact set computation in change propagation and regression testing are approximate for the sake of efficiency. A way to improve precision is ...