This is the first book on embedded systems to offer a unified approach to hardware and software specification and design issues -- and the first to outline a ne

Until the late 1980s, information processing was associated with large mainframe computers and huge tape drives. During the 1990s, this trend shifted toward inf

Specification and design methodology has seen significant growth as a research area over the last decade, tracking but lagging behind VLSI design technology in

This book presents the perspective of the project on a Paradigm Unifying System Specification Environments for proven Electronic design (PUS SEE) as conceived i

This book is the latest contribution to the Chip Design Languages series and it consists of selected papers presented at the Forum on Specifications and Design