16725 search results - page 34 / 3345 » Engineering Software Correctness |
103
click to vote
ISORC
2007
IEEE
15 years 6 months ago
2007
IEEE
Modern processors used in embedded systems are becoming increasingly powerful, having features like caches and pipelines to speedup execution. While execution speed of embedded so...
125
click to vote
ISARCS
2010
15 years 1 months ago
2010
Voting is a critical component of any democratic process; and electronic voting systems should be developed following best practices for critical system development. E-voting has i...
KBSE
2006
IEEE
15 years 5 months ago
2006
IEEE
The Visual Contract Workbench is a tool that supports model-driven development of software systems by lifting the Design by Contract idea, which is usually used at the code level,...
ISPW
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract. Explicitly defining a software process model is widely recognized as a good software engineering practice. However, having a defined process does not necessarily mean tha...
128
click to vote
HOTSWUP
2009
ACM
14 years 9 months ago
2009
ACM
Dynamic software update is a technique by which a running program can be updated with new code and data without interrupting its execution. Often we will want to preserve properti...