631 search results - page 43 / 127 » Deriving Specifications from Requirements: An Example |
IMR
2004
Springer
15 years 5 months ago
2004
Springer
We propose a new method for limiting the gradients in a mesh size function by solving a non-linear partial differential equation on the background mesh. Our gradient limiting Ham...
AGTIVE
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. This paper deals with knowledge-based computer aided design. A novel method giving additional support for conceptual design is presented. In this method, a designer firs...
ET
1998
14 years 11 months ago
1998
Defining information required by automatic test systems frequently involves a description of system behavior. To facilitate capturing the required behavior information in the cont...
113
click to vote
SCS
2004
15 years 1 months ago
2004
Commercial-Off-The-Shelf (COTS) software components are being used within complex safety-critical applications. However, to use them with confidence, it is necessary to ensure tha...
TACAS
1997
Springer
15 years 4 months ago
1997
Springer
Abstract. We have argued previously that the e ectiveness of a veri cation system derives not only from the power of its individual features for expression and deduction, but from ...