1288 search results - page 36 / 258 » On Analysis of Design Component Contracts: A Case Study |
EUROMICRO
2006
IEEE
15 years 5 months ago
2006
IEEE
Composition can take place during different stages of component life cycle. We identify two main stages : design phase - components are composed into composite components for reus...
TACAS
1998
Springer
15 years 4 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
ISSS
2002
IEEE
15 years 4 months ago
2002
IEEE
Currently, since many SoCs include heterogeneous components such as CPUs, DSPs, ASICs, memories, buses, etc., system integration becomes a major step in the design flow. To enable...
FLAIRS
1998
15 years 1 months ago
1998
Software reuse has been demonstrated to increase productivity, reduce costs, and improve software quality. The research that has addressed this problem has concentrated on code cr...
ICSE
1999
IEEE-ACM
15 years 4 months ago
1999
IEEE-ACM
Many reverse-engineering tools have been developed to detract representations from source code. Yet, most of these tools completely ignore recovery of the all-important rationale ...