A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is
The critical nature of many complex software-intensive systems requires formal architecture descriptions towards better supporting automated architectural analysis regarding correctness properties. Due to the challenges of adopting formal approaches, many architects have preferred using notations such as UML, SysML, and their derivatives to describe the structure and behavior of software architectures. However, these semi-formal notations have limitations regarding the sought support fordblp:conf/ecsa/Araujo21 fatcat:ki56yfa7kbhlxcuncgws3yxkmi