631 search results - page 32 / 127 » Producing reliable software: an experiment |
ICST
2009
IEEE
14 years 2 months ago
2009
IEEE
Many automated static analysis (ASA) tools have been developed in recent years for detecting software anomalies. The aim of these tools is to help developers to eliminate software...
AADEBUG
2005
Springer
14 years 1 months ago
2005
Springer
One of today’s challenges is producing reliable software in the face of an increasing number of interacting components. Our system CHET lets developers define specifications des...
BERTINORO
2005
Springer
14 years 1 months ago
2005
Springer
Fractal proteins are an evolvable method of mapping genotype to phenotype through a developmental process, where genes are expressed into proteins comprised of subsets of the Mande...
HAPTICS
2005
IEEE
14 years 1 months ago
2005
IEEE
Narrow key pitch of compact input devices confuses finger pressure at a key touch pad. To make keys more distinguishable and to improve user-friendliness of such input devices, w...
PLDI
2012
ACM
11 years 10 months ago
2012
ACM
Self-stabilizing programs automatically recover from state corruption caused by software bugs and other sources to reach the correct state. A number of applications are inherently...