2255 search results - page 7 / 451 » High Assurance Software Systems |
ISW
2004
Springer
14 years 25 days ago
2004
Springer
Abstract Ajay Chander1 , Drew Dean2 , and John Mitchell3 1 DoCoMo Communications Laboratories USA, San Jose, CA 95110 2 Computer Science Laboratory, SRI International, Menlo Park, ...
HASE
2008
IEEE
14 years 1 months ago
2008
IEEE
Current annotation technologies suffer from poor coverage over the development process phases, limited support for the broad scope of the security requirement types and inadequate...
ISORC
2006
IEEE
14 years 1 months ago
2006
IEEE
HICSS
2007
IEEE
14 years 1 months ago
2007
IEEE
There are many commercial software security assurance tools that claim to detect and prevent vulnerabilities in application software. However, a closer look at the tools often lea...
ICSE
2003
IEEE-ACM
14 years 20 days ago
2003
IEEE-ACM
Software-intensive systems often exhibit dimensions in size and complexity that exceed the scope of comprehension of even talented, experienced system designers and analysts. With ...