Contributions on UML address the application of UML in the specification of embedded HW/SW systems. C-Based System Design embraces the modeling of operating sys

This book presents comprehensive studies on nine specification languages and their logics of reasoning. The editors and authors are authorities on these specifi

Introduction to Hardware-Software Co-Design presents a number of issues of fundamental importance for the design of integrated hardware software products such a

For the near future, the recent predictions and roadmaps of silicon semiconductor technology all agree that the number of transistors on a chip will keep growin

Building software often seems harder than it ought to be. It takes longer than expected, the software's functionality and performance are not as wonderful as ho