Formalizing architectural connection
ICSE '94 Proceedings of the 16th international conference on Software engineering
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
A Classification and Comparison Framework for Software Architecture Description Languages
IEEE Transactions on Software Engineering
Deadlock detection in distribution object systems
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Modeling software architectures in the Unified Modeling Language
ACM Transactions on Software Engineering and Methodology (TOSEM)
Difficulties in simulating the internet
IEEE/ACM Transactions on Networking (TON)
An infrastructure for the rapid development of XML-based architecture description languages
Proceedings of the 24th International Conference on Software Engineering
Toward a discipline of scenario-based architectural engineering
Annals of Software Engineering
Attribute-Based Architecture Styles
WICSA1 Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSA1)
Behaviour Analysis of Software Architectures
WICSA1 Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSA1)
Acme: an architecture description interchange language
CASCON '97 Proceedings of the 1997 conference of the Centre for Advanced Studies on Collaborative research
vUML: A Tool for Verifying UML Models
ASE '99 Proceedings of the 14th IEEE international conference on Automated software engineering
AML: An Architecture Meta-Language
ASE '99 Proceedings of the 14th IEEE international conference on Automated software engineering
Automating the Performance and Reliability Analysis of Enterprise Information Systems
Proceedings of the 16th IEEE international conference on Automated software engineering
End-to-end WAN service availability
USITS'01 Proceedings of the 3rd conference on USENIX Symposium on Internet Technologies and Systems - Volume 3
Reconciling the needs of architectural description with object-modeling notations
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Hi-index | 0.00 |
The quality of dependable systems (DS) is characterized by a number of non-functional properties (e.g., performance, reliability, availability, etc.). Assessing the DS quality against these properties imposes the application of quality analysis and evaluation. Quality analysis consists of checking, analytically solving, or simulating models of the system, which are specified using formalisms like CSP, CCS, Markov-chains, Petri-nets, Queuing-nets, etc. However, developers are usually not keen on using such formalisms for modeling and evaluating DS quality. On the other hand, they are familiar with using architecture description languages and object-oriented notations for building DS models. Based on the previous and to render the use of traditional quality analysis techniques more tractable, this paper proposes an architecture-based environment that facilitates the specification and quality analysis of DS at the architectural level.