15777 search results - page 537 / 3156 » The Reformulation-Optimization Software Engine |
149
click to vote
SIGSOFT
2004
ACM
16 years 5 months ago
2004
ACM
The principle of information hiding has been very influential in software engineering since its inception in 1972. This principle prescribes that software modules hide implementat...
141
click to vote
ISSRE
2008
IEEE
15 years 11 months ago
2008
IEEE
The contribution of this paper is a technique to assess whether software failures during operational use can invalidate the trust assumptions and, hence, the adequacy of the softw...
126
Voted
VSTTE
2005
Springer
15 years 10 months ago
2005
Springer
The grand challenge that is the focus of this conference targets the development of a practical methodology for software verification: a methodology that can help us to reduce the ...
179
Voted
VISSOFT
2002
IEEE
15 years 10 months ago
2002
IEEE
Software is inherently dynamic, yet much of the analysis and comprehension processes focus entirely on the static source code of the software. This paper looks at how software vis...
134
Voted
ESEM
2009
ACM
15 years 9 months ago
2009
ACM
The long-term sustainability of a software product depends on more than developing features. Priorities are placed on aspects that support the development of software, like softwar...