1356 search results - page 64 / 272 » The ideal of verified software |
102
click to vote
SEW
2003
IEEE
15 years 5 months ago
2003
IEEE
Run-time monitoring is a lightweight verification method whereby the correctness of a programs’ execution is verified at run-time using executable specifications. This paper des...
SOCRATES
2008
15 years 1 months ago
2008
E-learning by doing is an important e-learning process, that provides several advantages but that requires a high interactivity degree, not always supported in e-learning contexts...
112
click to vote
ICSE
2009
IEEE-ACM
14 years 9 months ago
2009
IEEE-ACM
Verifying security properties of protocols requires developers to manually create protocol-specific intruder models, which could be tedious and error prone. We present Slede, a ve...
EMSOFT
2006
Springer
15 years 3 months ago
2006
Springer
A key problem for effective unit testing is the difficulty of partitioning large software systems into appropriate units that can be tested in isolation. We present an approach th...
109
click to vote
JOT
2010
14 years 10 months ago
2010
The selection of software architecture style is an important decision of design stage, and has a significant impact on various system quality attributes. To determine software arc...