2493 search results - page 84 / 499 » Tool Support for Design by Contract |
100
click to vote
IWSOC
2003
IEEE
15 years 3 months ago
2003
IEEE
CAD tools support is essential in the success of today digital system design methodologies. Unfortunately, most of the classical design tools do not take into account the possibil...
103
click to vote
EMSOFT
2003
Springer
15 years 3 months ago
2003
Springer
An important bottleneck in model-based design of embedded systems is the cost of constructing models. This cost can be significantly decreased by increasing the reuse of existing m...
ARCS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. The SoC (System-on-Chip) technology is used in small and flexible consumer electronic devices. SoCs include one or more microcontroller, memory, programmable logic, and ...
SEE
1997
Springer
15 years 2 months ago
1997
Springer
A concise object-oriented method for the development of real-time systems has been composed. Hardware components are modelled by (sofnuare) base objects; base objects are controll...
KBS
2000
14 years 9 months ago
2000
In design, problem analysis is as important as solution synthesis. Strategic knowledge is required not only for constructing a solution but also for framing a problem. While exter...