1856 search results - page 187 / 372 » Formal Dialectic Specification |
136
click to vote
ICCAD
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper, for the first time, a theory for evaluating dynamic noise margins of SRAM cells is developed analytically. The results allow predicting the transient error suscepti...
113
click to vote
DSN
2007
IEEE
15 years 11 months ago
2007
IEEE
Assurance Based Development (ABD) is the synergistic construction of a critical computing system and an assurance case that sets out the dependabilit...
171
click to vote
FDL
2007
IEEE
15 years 11 months ago
2007
IEEE
SystemVerilog encapsulates both design description and verification properties in one language and provides a unified environment for engineers who have the formidable challenge o...
142
click to vote
WER
2007
Springer
15 years 10 months ago
2007
Springer
Software inspections have proved to be an effective means to find faults in different software artifacts, and the application of software inspections on requirements specification...
154
click to vote
SEFM
2005
IEEE
15 years 10 months ago
2005
IEEE
The development of test cases is an important issue for testing software, communication protocols and other reactive systems. A number of methods are known for the development of ...