16725 search results - page 617 / 3345 » Engineering Software Correctness |
222
click to vote
I3E
2001
15 years 8 months ago
2001
: Designing security-critical systems correctly is very difficult. We present work on software engineering of security critical systems, supported by the CASE tool AUTOFOCUS. Secur...
189
click to vote
ACSAC
2006
IEEE
16 years 1 months ago
2006
IEEE
We propose an architecture of four complimentary technologies increasingly relevant to a growing number of home users and organizations: cryptography, separation kernels, formal v...
227
click to vote
COMPSAC
2000
IEEE
15 years 11 months ago
2000
IEEE
Understanding program dependencies in a computer program is essential for many software engineering tasks such as program understanding, testing, debugging, reverse engineering, a...
131
click to vote
CSMR
2007
IEEE
16 years 1 months ago
2007
IEEE
This is research summary of a PhD project in the area of massive software maintenance automation. We explain the context, approach, and contributions.