5228 search results - page 371 / 1046 » Case Studies for Software Engineers |
214
click to vote
ICFEM
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Refinement plays a crucial role in "top-down" styles of verification, such as the refinement calculus, but for probabilistic systems proof of refinement is a pa...
171
click to vote
IASTEDSE
2004
15 years 9 months ago
2004
: Software evolves as requirements or technologies change. Tremendous efforts are often needed to support software evolution as evolution may involve reverse engineering and subseq...
178
click to vote
QSIC
2005
IEEE
16 years 1 months ago
2005
IEEE
Software inspections are established means of ensuring quality in software engineering. The traditional paper-based inspections are considered too laborious for widespread usage, ...
205
click to vote
CCS
2008
ACM
15 years 9 months ago
2008
ACM
Software complexity is often hypothesized to be the enemy of software security. We performed statistical analysis on nine code complexity metrics from the JavaScript Engine in the...
198
click to vote
ECSA
2010
Springer
15 years 8 months ago
2010
Springer
One of the major advantages of component-based software engineering is the ability for developers to reuse and assemble software entities to build complex software. Whereas decompo...