Communicating sequential processes
Communicating sequential processes
The Z notation: a reference manual
The Z notation: a reference manual
Specification and Analysis of System Architecture Using Rapide
IEEE Transactions on Software Engineering - Special issue on software architecture
Reuse of off-the-shelf components in C2-style architectures
ICSE '97 Proceedings of the 19th international conference on Software engineering
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
A Classification and Comparison Framework for Software Architecture Description Languages
IEEE Transactions on Software Engineering
Acme: architectural description of component-based systems
Foundations of component-based systems
XML Bible
Large-Scale, Component Based Development
Large-Scale, Component Based Development
Building Reliable Component-Based Software Systems
Building Reliable Component-Based Software Systems
Specifying Distributed Software Architectures
Proceedings of the 5th European Software Engineering Conference
ICSE '93 Selected papers from the Workshop on Studies of Software Design
Speechnet: A Network of Hyperlinked Speech-Accessible Objects
WECWIS '99 Proceedings of the International Workshop on Advance Issues of E-Commerce and Web-Based Information Systems
An Introduction to Software Architecture
An Introduction to Software Architecture
Composing architectural styles from architectural primitives
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Reliability models in architecture description languages
CompSysTech '07 Proceedings of the 2007 international conference on Computer systems and technologies
Hi-index | 0.00 |
One of the main problems in the area of Component-Based Software Engineering (CBSE) is how to facilitate the integration of software components into large-scale and complex systems. A possible solution is to enforce on software architecture of the system. The increased importance of architecture in CBSE raises the necessity to explore and develop methods for its formal description. Several languages and notations, named architecture description languages (ADL), were developed for formal system level specification. This paper overviews them and outlines the main directions for their evolution.