3376 search results - page 37 / 676 » Analyzing Software Evolvability |
117
click to vote
KBSE
2009
IEEE
15 years 8 months ago
2009
IEEE
—Practical software verification is dominated by two major classes of techniques. The first is model checking, which provides total precision, but suffers from the state space ...
112
click to vote
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
We present Phantm, a static analyzer that uses a flowsensitive analysis to detect type errors in PHP applications. Phantm can infer types for nested arrays, and can leverage runti...
RE
2001
Springer
15 years 6 months ago
2001
Springer
Evolutionary prototyping focuses on gathering a correct and consistent set of requirements. The process lends particular strength to building quality software by means of the ongo...
WER
2007
Springer
15 years 8 months ago
2007
Springer
The Problem Frames approach defines identifiable problem classes based on, among other things, their context and the characteristics of their domains, interfaces and requirements,...
109
click to vote
ICSM
2005
IEEE
15 years 7 months ago
2005
IEEE
In order to build predictors of the maintainability of evolving software, we first need a means for measuring maintainability as well as a training set of software modules for whi...