1356 search results - page 94 / 272 » The ideal of verified software |
ISSTA
1996
ACM
15 years 4 months ago
1996
ACM
In assessing the quality of software, we would like to make engineering judgements similar to those based on statistical quality control. Ideally, we want to support statements li...
ICSE
2001
IEEE-ACM
15 years 4 months ago
2001
IEEE-ACM
The paper addresses the formal specification, design and implementation of the behavioral component of graphical user interfaces. The complex sequences of visual events and action...
SPIN
2007
Springer
15 years 6 months ago
2007
Springer
This paper describes a set of verification components that open the way to perform on-the-fly software model checking with the Cadp toolbox, originally designed for verifying the...
COMPSAC
2005
IEEE
15 years 5 months ago
2005
IEEE
RIES stands for Rijnland Internet Election System. It is an online voting system that has been used twice in the fall of 2004 for in total over two million potential voters. In th...
VSTTE
2005
Springer
15 years 5 months ago
2005
Springer
To have impact, a grand challenge should provide a way for diverse research to be integrated in a synergistic fashion. Synergy in the JML project comes from a shared specification...