2421 search results - page 2 / 485 » Integrity Assurance Technique Using Determinant Approach |
HICSS
2003
IEEE
14 years 4 months ago
2003
IEEE
Many software projects fail because early life-cycle defects such as ill-defined requirements are not identified and removed. Therefore, quality assurance (QA) techniques for defe...
TAP
2008
Springer
13 years 10 months ago
2008
Springer
Formal methods can only gain widespread use in industrial software development if they are integrated into software development techniques, tools, and languages used in practice. A...
STORAGESS
2005
ACM
14 years 4 months ago
2005
ACM
Data integrity is a fundamental aspect of storage security and reliability. With the advent of network storage and new technology trends that result in new failure modes for stora...
EH
2000
IEEE
14 years 3 months ago
2000
IEEE
How do we know the correctness of an evolved circuit? While Evolutionary Hardware is exhibiting its effectiveness, we argue that it is very difficult to design a large-scale digit...
SCS
2003
14 years 6 days ago
2003
The development of safety critical systems is guided by standards. Many standards require the development of a safety case to demonstrate the acceptability of Safety Critical Syst...