1645 search results - page 27 / 329 » Rationale-Based Use Case Specification |
CORR
2010
Springer
13 years 11 months ago
2010
Springer
The focus of this paper is on reducing the complexity in verification by exploiting modularity at various levels: in specification, in verification, and structurally. For specifica...
DATE
2003
IEEE
14 years 4 months ago
2003
IEEE
This paper proposes a novel methodology tailored to design embedded systems, taking into account the emerging market needs, such as hw/sw partitioning, object-oriented specificati...
IFIP
2004
Springer
14 years 4 months ago
2004
Springer
Abstract The computational proof model of Bellare and Rogaway for cryptographic protocol analysis is complemented by providing a formal specification of the actions of the adversa...
BIOCOMP
2008
14 years 9 days ago
2008
ct The enrichment and recall of known inhibitors in a virtual screen are correlated with the probability of finding effective inhibitors through this process. In practice, a large ...
ICSE
2004
IEEE-ACM
14 years 11 months ago
2004
IEEE-ACM
Despite their benefits, programmers rarely use formal specifications, because they are difficult to write and they require an up front investment in time. To address these issues,...