A Research Landscape on Formal Verification of Software Architecture Descriptions

A Research Landscape on Formal Verification of Software Architecture Descriptions

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 aiming at precisely verifying if their designed architectures...

Full description

Bibliographic Details
Main Authors: Camila Araujo, Everton Cavalcante, Thais Batista, Marcel Oliveira, Flavio Oquendo
Format: Article
Language:English
Published: IEEE 2019-01-01
Series:IEEE Access
Subjects:
Architecture description
formal verification
property specification
software architectures
systematic mapping
Online Access:https://ieeexplore.ieee.org/document/8901988/

Internet

https://ieeexplore.ieee.org/document/8901988/

Similar Items