A Research Landscape on Formal Verification of Software Architecture Descriptions
Sign Up to like & getrecommendations! Published in 2019 at "IEEE Access"
DOI: 10.1109/access.2019.2953858
Abstract: One of the many different purposes of software architecture descriptions is contributing to an early analysis of the architecture with respect to quality attributes. The critical nature of many software systems calls for formal approaches… read more here.
Keywords: architecture descriptions; architecture; software; formal verification ... See more keywords