5433 search results - page 452 / 1087 » Tool Support for Traceability-Adaptation |
164
click to vote
DAC
1998
ACM
15 years 11 months ago
1998
ACM
The di culty of embedded system co-design is increasing rapidly due to the increasing complexity of individual parts, the variety of parts available and pressure to use multiple p...
159
click to vote
HT
1998
ACM
15 years 11 months ago
1998
ACM
We describe a set of tools to support navigational hypermedia linking within audio (‘branching audio’) and between media types including audio. We have adopted an open hyperme...
191
click to vote
ARES
1998
Springer
15 years 11 months ago
1998
Springer
The realization of software projects can be significantly eased by extending the focus of reuse to architectural aspects instead of concentrating on separate software elements. Ye...
187
click to vote
FM
1998
Springer
15 years 11 months ago
1998
Springer
We give an overview of the enhanced VSE system which is a tool to formally specify and verify systems. It provides means for structuring speci cations and it supports the developme...
150
click to vote
FPL
1998
Springer
15 years 11 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...