809 search results - page 88 / 162 » Requirements by Contracts allow Automated System Testing |
WSC
2007
15 years 2 months ago
2007
Coercion combines flexible points, semi-automated optimization and expert guided manual code modification for adapting simulations to meet new requirements. Coercion can improve s...
114
click to vote
LPKR
1997
Springer
15 years 4 months ago
1997
Springer
The purpose of this paper is to investigate the methodology of reasoning with prioritized defaults in the language of logic programs under the answer set semantics. We present a do...
102
click to vote
FORTE
2001
15 years 1 months ago
2001
Use cases are useful in various stages of the software process. They are very often described using text that has to be interpreted by system designers. This could lead to implemen...
123
click to vote
ICSE
2004
IEEE-ACM
15 years 12 months ago
2004
IEEE-ACM
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...
IPPS
1999
IEEE
15 years 4 months ago
1999
IEEE
Abstract. The Navy needs to use Multi Level Security (MLS) techniques in an environment with increasing amount of real time computation brought about by increased automation requir...