Practical Verification of Component Substitutability Using Subtype Relation

Authors:
Premysl Brada;Lukas Valenta
Affiliations:
University of West Bohemia in Pilsen, Czech Republic;University of West Bohemia in Pilsen, Czech Republic
Venue:
EUROMICRO '06 Proceedings of the 32nd EUROMICRO Conference on Software Engineering and Advanced Applications
Year:
2006

Citing 0
Cited 3

Component behavior relativity analysis

ACM SIGSOFT Software Engineering Notes
Component simulation-based substitutivity managing QoS and composition issues

Science of Computer Programming
Enhanced Type-based Component Compatibility Using Deployment Context Information

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

Software architecture description languages (ADLs) were a particularly active research area in the 1990s. In 2000, I co-authored an extensive study of existing ADLs, which has served as a useful reference to software architecture researchers and practitioners. ...