As well as an overview of UML and the more recent SysML, Debbabi and his co-authors investigate varied methodologies and techniques for the automatic verification and validation of systems engineering design models expressed in standardized modeling languages.
An ideal course book for mathematics undergraduates and graduates alike, this is a complete introduction to vector analysis/ Each topic covered is given a practical application within computer graphics.
This book targets custom IC designers who are encountering variation issues in their designs, especially for modern process nodes at 45nm and below. It sets out state-of-the-art variation-aware design tools that will help them fix their problems efficiently.
Value-Range Analysis of C Programs describes a static analysis for detecting buffer overflows. While the book focuses on a sound analysis of C, it will be useful to researchers and students interested in static analysis of real-world programming languages.
Here, in an updated edition with new examples, is a complete guide to valuation in life sciences. Using real-life cases, the authors show how to value projects, patents, licences, firms and stocks, including complex licence and company structures.
With a focus on the usability of iTV applications, this book provides clear guidelines for designing the user interfaces on interactive TV applications. And the approach presented is generic, so it can be applied to other platforms and technologies.
This book offers a theoretical analysis of symmetry-based clustering techniques. It includes extensive real-world applications in data mining, remote sensing imaging, MR brain imaging, gene expression data analysis, and face detection.
This title introduces the hierarchical structure, principles, applications, kernel, shells, development and management of UNIX operation systems. It clarifies the bond between UNIX implementation and general operating system and software engineering theories.