Multifacetted modelling and discrete event simulation
Multifacetted modelling and discrete event simulation
Constructing Distributed Systems in Conic
IEEE Transactions on Software Engineering
Microprocessor design verification
Journal of Automated Reasoning
A practical theory of programming
A practical theory of programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
Formalizing architectural connection
ICSE '94 Proceedings of the 16th international conference on Software engineering
Architectural Mismatch: Why Reuse Is So Hard
IEEE Software
Architectural Mismatch: Why Reuse Is So Hard
IEEE Software
A Theory of Interfaces and Modules - I: Composition Theorem
IEEE Transactions on Software Engineering
A Formal Model for Module Interconnection Languages
IEEE Transactions on Software Engineering
Large Scale Active Networks Simulation
PARA '98 Proceedings of the 4th International Workshop on Applied Parallel Computing, Large Scale Scientific and Industrial Problems
Facilitating an automated approach to architecture-based software reuse
ASE '97 Proceedings of the 12th international conference on Automated software engineering (formerly: KBSE)
Programming-in-the-Large Versus Programming-in-the-Small
IEEE Transactions on Software Engineering
Hi-index | 0.00 |
The development of large systems relies on the ability to manage complexity throughout the design cycle. Decomposition and component-based design contribute substantially to effective design practice. In addition, maintaining heterogeneous models of the system allows separation of concerns, different analysis tools utilize different views of the model to assess the correctness and requirement satisfaction of the design in a complementary fashion. This paper presents a design framework that Supports heterogeneous component-based analysis and design. The design portion of the framework encapsulates a component such that different representations (including decomposition representations) are associated with each component. Top-down and bottom- up design as well as component reuse are supported naturally. Using configurations, the design tree is pruned to obtain a specific view of the drsign for analysis purposes. The analysis model allows composition of analyses to create analysis plans and to use different types of analyses collaboratively. An associated CAD environment provides useful abstractions of the framework. The framework can be extended to support any component-based design domain.