1356 search results - page 122 / 272 » The ideal of verified software |
177
click to vote
ICONS
2008
IEEE
16 years 26 days ago
2008
IEEE
Missing or faulty exception handling has caused a number of spectacular system failures and is a major cause of software failures in extensively tested critical systems. Prior wor...
157
click to vote
ICST
2008
IEEE
16 years 25 days ago
2008
IEEE
Microsoft is producing high-quality documentation for Windows client-server and server-server protocols. Our group in the Windows organization is responsible for verifying the doc...
198
click to vote
KBSE
2008
IEEE
16 years 24 days ago
2008
IEEE
—Automated tests are important for Web applications as they grow more complex day by day. Web application testing frameworks have emerged to help satisfy this need. However, used...
162
click to vote
COMPSAC
2007
IEEE
16 years 23 days ago
2007
IEEE
Program verification is a promising approach to improving program quality. To formally verify aspectoriented programs, we have to find a way to formally specify programs written i...
139
click to vote
ROMAN
2007
IEEE
16 years 21 days ago
2007
IEEE
Abstract— This paper describes a technical education program for high school students that comprises an image information processing system, stereo vision technology and control ...