2493 search results - page 146 / 499 » Tool Support for Design by Contract |
119
click to vote
ISADS
2003
IEEE
15 years 3 months ago
2003
IEEE
An advanced high-level approach for programming of real-time distributed computing applications, the TMO (Time-triggered Message-triggered Object) programming and specification sc...
DSD
2005
IEEE
15 years 3 months ago
2005
IEEE
Reconfigurable system is a promising alternative to deliver both flexibility and performance at the same time. New reconfigurable technologies and technologydependent tools have b...
115
click to vote
DAC
1995
ACM
15 years 1 months ago
1995
ACM
— Most information and services required today by designers will soon become available as documents distributed in a wide area hypermedia network. New integration services are re...
FPL
1998
Springer
15 years 2 months ago
1998
Springer
Abstract. Pebble is a simple language designed to improve the productivity and effectiveness of hardware design. It improves productivity by adopting reusable word-level and bit-le...
SIGSOFT
1994
ACM
15 years 2 months ago
1994
ACM
As the design of software architectures emerges as a discipline within software engineering, it will become increasingly important to support architectural description and analysi...