2261 search results - page 36 / 453 » Modeling the Experimental Software Engineering Process |
VMCAI
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. This paper presents history-dependent scheduling, a new technique for reducing the search space in the verification of cryptographic protocols. This technique allows the...
100
click to vote
ICSEA
2006
IEEE
15 years 8 months ago
2006
IEEE
— It is through our mental models of the world that we understand it. Advances in science are nothing more than improvements to the model. This paper presents the development and...
128
click to vote
APAQS
2001
IEEE
15 years 5 months ago
2001
IEEE
Software inspection is recognised as the most effective means of finding defects. In spite of its important role in software development, existing capability models have not addre...
117
click to vote
AMOST
2005
ACM
15 years 4 months ago
2005
ACM
Early estimation of defect density of a product is an important step towards the remediation of the problem associated with affordably guiding corrective actions in the software d...
120
click to vote
ISPW
2005
IEEE
15 years 7 months ago
2005
IEEE
Since different systems have different success-critical stakeholders, and these stakeholders depend on the system in different ways, using traditional one-size-fits-all dependabili...