|
|
|
|
|
|
Verification Techniques for System-Level Design (Systems on Silicon)A must-read in formal and semi-formal verification!
This book will explain how to verify SoC logic designs using formal and semi-formal verification techniques. The critical issue to be addressed is whether the functionality of the design is the one that the designers intended. Simulation has been used for checking the... | | | | |
|
Software Testing Fundamentals : Methods and MetricsSoftware testing expert Marnie Hutcheson explains both the theory and the practical application of her down-to-earth approach to risk-based testing, the Most Important Tests (MITs) method. The many proven tools, methods, and metrics examined can be used to ensure that you always have reliable, functional software and systems. Software... | | | | Grokking Simplicity: Taming complex software with functional thinking
Grokking Simplicity is a friendly, practical guide that will change the way you approach software design and development.
Summary
Distributed across servers, difficult to test, and resistant to modification—modern software is complex. Grokking Simplicity is a friendly, practical guide that ... |
|
|
Result Page: 96 95 94 93 92 91 90 89 88 87 86 85 84 83 82 81 80 79 78 |