432 search results - page 44 / 87 » Ethical Responsibility of the Software Engineer |
ICSE
2008
IEEE-ACM
15 years 9 months ago
2008
IEEE-ACM
Maintaining a developer's awareness of changes in the software on which she depends is challenging. Awareness is often impeded at two ends of the spectrum: a lack of informat...
ICSM
2009
IEEE
15 years 4 months ago
2009
IEEE
Concept location is a critical activity during software evolution as it produces the location where a change is to start in response to a modification request, such as, a bug repo...
108
click to vote
ICSM
2002
IEEE
15 years 2 months ago
2002
IEEE
Most online evolution of application depends on its runtime environment. This paper addresses how to support online evolution by application server, which is considered as third k...
RE
2001
Springer
15 years 2 months ago
2001
Springer
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...
SEKE
2010
Springer
14 years 7 months ago
2010
Springer
Abstract--Property specification is still one of the most challenging tasks for transference of software verification technology like model checking. The use of patterns has been p...