12107 search results - page 127 / 2422 » Software That Can Think |
HICSS
2009
IEEE
14 years 3 months ago
2009
IEEE
The craft of software understanding and verification can benefit from technologies that enable evolution toward a true engineering discipline. In current practice, software develo...
GECCO
2004
Springer
14 years 1 months ago
2004
Springer
The ability to predict the quality of a software object can be viewed as a classification problem, where software metrics are the features and expert quality rankings the class lab...
ISSRE
2008
IEEE
14 years 2 months ago
2008
IEEE
The process can fail to deliver its expected outputs
SPIN
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
ICECCS
1999
IEEE
14 years 17 days ago
1999
IEEE
Configuring and deploying a large software system is complicated when the system is composed of components and when there are numerous possible configurations for the system. In s...