1109 search results - page 39 / 222 » Software verification for TinyOS |
125
click to vote
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
Given the dizzying pace of change in computer science, trying to look too far into the future of software engineering is hard. However, it might be possible to predict the future ...
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
Reliance on skilled developers reduces the return on investment for important software engineering tasks such as establishing program correctness. This position paper introduces a...
112
click to vote
CACM
2010
14 years 10 months ago
2010
Certified software consists of a machine-executable program plus a formal machine-checkable proof that the software is free of bugs with respect to a claim of dependability. The c...
107
click to vote
TACAS
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Intermediate languages are a paradigm to separate concerns in software verification systems when bridging the gap between programming languages and the logics understood ...
131
click to vote
PDSE
1998
15 years 2 months ago
1998
The development of correct OO distributed software is a daunting task as soon as the distributed interactions are not trivial. This is due to the inherent complexity of distribute...