15 search results - page 1 / 3 » qsic 2007 |
QSIC
2007
IEEE
13 years 11 months ago
2007
IEEE
QSIC
2007
IEEE
13 years 11 months ago
2007
IEEE
QSIC
2007
IEEE
13 years 11 months ago
2007
IEEE
: Testing against natural language requirements is the standard approach for system and acceptance testing. This test is often performed by an independent test organization unfamil...
QSIC
2007
IEEE
13 years 11 months ago
2007
IEEE
In this paper we propose a metric for finite processes in a probabilistic extension of CSP. The kernel of the metric corresponds to trace equivalence and most of the operators in...
QSIC
2007
IEEE
13 years 11 months ago
2007
IEEE
Security patterns capture best practice on secure software design and development. They document typical solutions to security problems. To ensure security, large software system ...