[引用][C] SMC/ADL: An Architecture Description Language for Hierarchical Component-based System

Y Yue, GP Zeng - Computer Science, 2012 - Guojia Kexue Jishu Bu, Xinan Xinxi …

Integrating non-functional properties to architecture specification and analysis

S Zhang - … on Information Technology: New Generations (ITNG' …, 2006 - ieeexplore.ieee.org
Software architecture (SA) provides a formal basis to describe and analyze a software
system as a collection of components and their interactions (connectors). However, the …

Statechart simulator for modeling architectural dynamics

A Egyed, D Wile - … Working IEEE/IFIP Conference on Software …, 2001 - ieeexplore.ieee.org
Software development is a constant endeavor to optimize qualities like performance and
robustness while ensuring functional correctness. Architecture Description Languages …

Specifying and verifying reconfigurable software architectures

Justo, Cunha - … on Software Engineering for Parallel and …, 2000 - ieeexplore.ieee.org
The concept of software architecture (also called system structure or system configuration) is
especially important in the design of complex software systems, providing a model of the …

Pittsburgh, PA 15213-3890 USA Robert T. Monroe Computer Science Department, Carnegie Mellon University Pittsburgh, PA 15213-3890 USA David Wile

D Garlan - Foundations of Component-Based Systems, 2000 - books.google.com
Over the past decade there has been considerable experimentation with the design of
architecture description languages that can provide a formal basis for description and …

Architecture Based Development with DYNACOMM: Incorporating Dynamic Reconfiguration and Hierarchical Design into CommUnity

X Ling, T Maibaum - 2012 19th Asia-Pacific Software …, 2012 - ieeexplore.ieee.org
Architecture Description Languages (ADLs) were developed to support the abstract level of
software structuring that is the subject matter of software architecture. Community is an ADL …

Rapid prototyping of domain-specific architecture languages

R Rouvoy, P Merle - Proceedings of the 15th ACM SIGSOFT symposium …, 2012 - dl.acm.org
Software architecture has become a sensitive discipline, which consists in concretizing the
user requirements into a set of artifacts that can be used to model and reason about the …

A scalable approach to multi-style architectural modeling and verification

S Wong, J Sun, I Warren, J Sun - 13th IEEE International …, 2008 - ieeexplore.ieee.org
Software Architecture represents the high level description of a system in terms of
components, external properties and communication. Despite its importance in the software …

[PDF][PDF] Analyzing software architecture descriptions to generate system-level tests

A Abdurazik, Z Jin, L White, J Offutt - Workshop on Evaluating Software …, 2000 - isr.uci.edu
As the size and complexity of software systems increase, problems stemming from the
design and integration of overall system structure become more significant than problems …

Non-functional property specifications for WRIGHT ADL

B Suleiman, V Tosic, E Aliev - 2008 8th IEEE International …, 2008 - ieeexplore.ieee.org
Many architecture description languages (ADLs) were proposed for describing structure of
software systems in terms of components and connectors. However, specification of non …