1199 search results - page 26 / 240 » Software Verification and Software Engineering a Practitione... |
142
click to vote
DAGSTUHL
2001
15 years 3 months ago
2001
A powerful approach to finding errors in computer software is to translate a given program into a verification condition, a logical formula that is valid if and only if the program...
106
Voted
LSO
2004
Springer
15 years 7 months ago
2004
Springer
When developing large software products many verbal and written interactions take place. In such interactions the use of abstract and uncertain expressions is considered advantageo...
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
Declarative policies play a central role in many modern software systems. Engineering policies and their interactions with programs raises many interesting open questions. Categor...
VSTTE
2005
Springer
15 years 7 months ago
2005
Springer
APSEC
2001
IEEE
15 years 5 months ago
2001
IEEE
