1940 search results - page 47 / 388 » Dependable Software: An Oxymoron |
161
click to vote
COREGRID
2007
Springer
16 years 8 days ago
2007
Springer
Grid middleware usually makes use of several software modules that due to their complexity and development approach may have some latent bugs and leaks. These bugs can cause visibl...
166
click to vote
KBSE
2000
IEEE
15 years 10 months ago
2000
IEEE
Distributed information systems for decision support and e-commerce applications require coordination of multiple autonomous components and their services to accomplish a set of g...
151
click to vote
SPLC
2008
15 years 7 months ago
2008
SAT solvers technology is now mature enough to be part of the engineer toolbox side by side with Mixed Integer Programming and Constraint Programming tools. As of June 2008, two g...
138
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper describes our experience using dependency analysis and visualization as a tool to identify intervention points for migrating applications to environments where they can...
159
click to vote
SIGSOFT
2010
ACM
15 years 25 days ago
2010
ACM
We argue that lightweight, language-based verification is poised to enter mainstream industrial use, where it will have a major impact on software quality and reliability. We expl...