10379 search results - page 571 / 2076 » The Chaos of Software Development |
189
click to vote
ICSE
2005
IEEE-ACM
16 years 21 days ago
2005
IEEE-ACM
Although attractive, CBD has not been widely adopted in domains of embedded systems. The main reason is inability of these technologies to cope with the important concerns of embe...
198
click to vote
AMAST
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
167
click to vote
ICSM
2003
IEEE
16 years 14 days ago
2003
IEEE
Software maintainers and auditors would benefit from a tool to help them focus their attention on functions that are likely to be the source of security vulnerabilities. However,...
210
click to vote
SOFTVIS
2003
ACM
16 years 13 days ago
2003
ACM
An active research area in telecommunications concerns how to specify and control the addition of new services, such as call waiting or instant messaging, into existing software. ...
181
click to vote
ACSAC
2002
IEEE
16 years 5 days ago
2002
IEEE
Corruption or disclosure of sensitive user documents can be among the most lasting and costly effects of malicious software attacks. Many malicious programs specifically target fi...