Verification support for plug-and-play architectural design
Abstract
Reference
Index Terms
- Verification support for plug-and-play architectural design
Recommendations
Plug-and-Play Architectural Design and Verification
Architecting Dependable Systems VIn software architecture, components represent the computational units of a system and connectors represent the interactions among those units. Making decisions about the semantics of these interactions is a key part of the design process. It is often ...
Architectural building blocks for plug-and-play system design
CBSE'06: Proceedings of the 9th international conference on Component-Based Software EngineeringOne of the distinguishing features of distributed systems is the importance of the interaction mechanisms that are used to define how the sequential components interact with each other. Given the complexity of the behavior that is being described and ...
Using rationale to support pattern-based architectural design
SHARK '10: Proceedings of the 2010 ICSE Workshop on Sharing and Reusing Architectural KnowledgeArchitectural design rationale describes the decisions made, alternatives considered, and reasons for and against each alternative considered when defining a software architecture. At least some of these reasons should reference the non-functional ...
Comments
Information & Contributors
Information
Published In
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Qualifiers
- Article
Conference
Acceptance Rates
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 155Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in