16725 search results - page 36 / 3345 » Engineering Software Correctness |
FSEN
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. In this paper we offer a novel methodology for verifying correctness of (timed) security protocols. The idea consists in computing the time of a correct execution of a s...
132
click to vote
CORR
2011
Springer
14 years 6 months ago
2011
Springer
—Validation is one of the software engineering disciplines that help build quality into software. The major objective of software validation process is to determine that the soft...
ISSTA
2006
ACM
15 years 5 months ago
2006
ACM
In a component-based software system the components are specified, designed and implemented with the intention to be reused, and are assembled in various contexts in order to pro...
SEE
2010
Springer
14 years 10 months ago
2010
Springer
How can a course on engineering ethics affect an undergraduate student’s feelings of responsibility about moral problems? In this study, three groups of students were interviewed...
101
click to vote
IAT
2005
IEEE
15 years 5 months ago
2005
IEEE
This paper explains the building of robust software using multiagent reputation. One of the major goals of software engineering is to achieve robust software. Our hypothesis is th...