358 search results - page 41 / 72 » A Verification Methodology for Model Fields |
FSR
2003
Springer
15 years 2 months ago
2003
Springer
Dynamic stability is an important issue for vehicles which move heavy loads, turn at speed, or operate on sloped terrain. In many cases, vehicles face more than one of these chall...
ICWE
2007
Springer
15 years 3 months ago
2007
Springer
: The goal of this work is to present the software WebRatio 5, which is a good representative of a new generation of CASE tools for model-driven design of Web applications. WebRati...
SEW
2006
IEEE
15 years 3 months ago
2006
IEEE
Pseudo-exhaustive testing uses the empirical observation that, for broad classes of software, a fault is likely triggered by only a few variables interacting. The method takes adv...
ASPDAC
2007
ACM
15 years 1 months ago
2007
ACM
The scaling of CMOS technology into the nanometer era enables the fabrication of highly integrated systems, which increasingly contain analog and/or RF parts. However, scaling into...
FDL
2008
IEEE
14 years 11 months ago
2008
IEEE
In this paper, we propose the design methodology for communication channel templates from formal specification to RTL description. In this flow, design and verification start from...