15784 search results - page 765 / 3157 » Mega Software Engineering |
188
click to vote
IWPSE
2010
IEEE
15 years 5 months ago
2010
IEEE
Updating the requirements specification during software evolution is a manual and expensive task. Therefore, software engineers usually choose to apply modifications directly to t...
194
click to vote
ICSE
2010
IEEE-ACM
15 years 4 months ago
2010
IEEE-ACM
Developers change source code to add new functionality, fix bugs, or refactor their code. Many of these changes have immediate impact on quality or stability. However, some impact...
310
click to vote
ICST
2011
IEEE
14 years 11 months ago
2011
IEEE
—Changing source code in large software systems is complex and requires a good understanding of dependencies between software components. Modification to components with little ...
213
click to vote
VSTTE
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. The Verifying Compiler checks the correctness of the program it compiles. The workhorse of such a tool is the reasoning engine, which decides validity of formulae in a su...
214
click to vote
WADT
2004
Springer
16 years 25 days ago
2004
Springer
An automated technique to translate conditional rewrite rules into unconditional ones is presented, which is suitable to implement, or compile, conditional rewriting on top of much...