2935 search results - page 343 / 587 » An Integrated Approach to High Integrity Software Verificati... |
164
click to vote
ESE
2002
15 years 6 months ago
2002
Software inspection is one of the key enablers for quality improvement and defect cost reduction. Although its benefits are shown in many studies, a major obstacle to implement an...
161
click to vote
COMPSAC
2009
IEEE
16 years 1 months ago
2009
IEEE
— This paper presents the architecture, design and implementation of an email server that runs on a bare PC without an operating system or hard-disk. In addition to providing sta...
156
click to vote
HICSS
2008
IEEE
16 years 29 days ago
2008
IEEE
How to implement an IS (information system) successfully remains a problem. To address this, drawing on information processing theory, this study proposes an integrated model that...
133
click to vote
KBSE
2008
IEEE
16 years 27 days ago
2008
IEEE
—Peer-to-peer (P2P) is becoming a key technology for software development, but still lacks integrated solutions to build trust in the final software, in terms of correctness and...
216
click to vote
DATE
2007
IEEE
16 years 25 days ago
2007
IEEE
Solid frameworks and toolkits for design and analysis of embedded systems are of high importance, since they enable early reasoning about critical properties of a system. This pap...