1376 search results - page 179 / 276 » Model-Driven Software Verification |
146
Voted
WWW
2005
ACM
16 years 4 months ago
2005
ACM
A software design is often modeled as a collection of unified Modeling Language (UML) diagrams. There are different aspects of the software system that are covered by many differe...
134
click to vote
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
It is difficult to write device drivers. One factor is that writing low-level code for accessing devices and manipulating their registers is tedious and error-prone. For many syst...
239
Voted
POPL
2008
ACM
16 years 3 months ago
2008
ACM
We present a framework for generating procedure summaries that are precise -- applying the summary in a given context yields the same result as re-analyzing the procedure in that ...
129
Voted
SIGSOFT
2003
ACM
16 years 4 months ago
2003
ACM
Software products are often released with missing functionality, errors, or incompatibilities that may result in failures, inferior performances, or user dissatisfaction. In previ...
115
Voted
ACSAC
2006
IEEE
15 years 9 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...