Pattern-oriented software architecture: a system of patterns
Pattern-oriented software architecture: a system of patterns
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
DAC '97 Proceedings of the 34th annual Design Automation Conference
Component software: beyond object-oriented programming
Component software: beyond object-oriented programming
A Classification and Comparison Framework for Software Architecture Description Languages
IEEE Transactions on Software Engineering
Proceedings of the 2001 Asia and South Pacific Design Automation Conference
Interoperability as a design issue in C++ based modeling environments
Proceedings of the 14th international symposium on Systems synthesis
Component-based design approach for multicore SoCs
Proceedings of the 39th annual Design Automation Conference
Automating the Design of SOCs Using Cores
IEEE Design & Test
Architectural Mismatch: Why Reuse Is So Hard
IEEE Software
Architectural Mismatch: Why Reuse Is So Hard
IEEE Software
An Extensible Type System for Component-Based Design
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
An Environment for Dynamic Component Composition for Efficient Co-Design
Proceedings of the conference on Design, automation and test in Europe
RSP '01 Proceedings of the 12th International Workshop on Rapid System Prototyping
Using Aspect-GAMMA in the design of embedded systems
HLDVT '02 Proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop
Extending Tcl for dynamic object-oriented programming
TCLTK '98 Proceedings of the 3rd Annual USENIX Workshop on Tcl/Tk - Volume 3
A Strategy for the Formal Composition of Frameworks
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Conformance notions for the coordination of interaction components
Science of Computer Programming
Compositional semantics of system-level designs written in systemC
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
Hi-index | 0.00 |
The increasing integration of system-chips is leading to a widening gap in the size and complexity of the chip-level design and the design capabilities. A number of advances in high-level modeling and validation have been proposed over the past decade in an attempt to bridge the gap in design productivity. Prominent among these are advances in Abstraction and Reuse and structured design methods such as Component-Based Design and Platform-Based Design. In this paper, we present an overview of the recent advances in reuse, abstraction, and component frameworks. We describe a compositional approach to highlevel modeling as implemented in the BALBOA project.