3792 search results - page 175 / 759 » Techniques for Trusted Software Engineering |
114
click to vote
SIGSOFT
2005
ACM
16 years 4 months ago
2005
ACM
Previous work has proven typestates to be useful for modeling protocols in object-oriented languages. We build on this work by addressing substitutability of subtypes as well as i...
171
click to vote
KBSE
2010
IEEE
15 years 2 months ago
2010
IEEE
A method is described for automatically repairing legacy software at the assembly code level using evolutionary computation. The technique is demonstrated on Java byte code and x8...
140
click to vote
FASE
2006
Springer
15 years 7 months ago
2006
Springer
In this research, we investigate the role of common coupling in evolving software systems. It can be argued that most software developers understand that the use of global data has...
160
Voted
ICSE
2011
IEEE-ACM
14 years 7 months ago
2011
IEEE-ACM
Software peer review has proven to be a successful technique in open source software (OSS) development. In contrast to industry, where reviews are typically assigned to specific ...
126
click to vote
ASE
2006
15 years 4 months ago
2006
Industry currently employs a product line approach to software development and deployment as a means to enhance quality while reducing development cost and time. This effort has cr...