10263 search results - page 1807 / 2053 » From Use Cases to System Operation Specifications |
182
click to vote
ISSTA
2006
ACM
16 years 7 days ago
2006
ACM
This paper addresses issues involved when an architect explore alternative designs including non-functional requirements; in our approach, non-functional requirements are expresse...
216
click to vote
WABI
2009
Springer
16 years 26 days ago
2009
Springer
Background: Frameshift mutations in protein-coding DNA sequences produce a drastic change in the resulting protein sequence, which prevents classic protein alignment methods from ...
153
click to vote
ICNP
2006
IEEE
16 years 9 days ago
2006
IEEE
— The Internet is a complex structure arising from the interconnection of numerous autonomous systems (AS), each exercising its own administrative policies to reflect the commer...
192
click to vote
TSE
2008
15 years 6 months ago
2008
Software end users are the best testers, who keep revealing bugs in software that has undergone rigorous in-house testing. In order to leverage their testing efforts, failure repor...
192
click to vote
KBSE
2005
IEEE
15 years 12 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...