Generating formal software architecture descriptions from semi-formal SysML-based models: A model-driven approach

C Araújo, T Batista, E Cavalcante… - … on Computational Science …, 2021 - Springer
The critical nature of many complex software-intensive systems requires formal architecture
descriptions for supporting automated architectural analysis regarding correctness …
被引用次数：3 相关文章

[引用][C] Generating Formal Software Architecture Descriptions from Semi-Formal SysML-Based Models: A Model-Driven Approach

C Araújo, T Batista, E Cavalcante… - ICCSA 2021-21st …, 2021 - hal.science
Generating Formal Software Architecture Descriptions from Semi-Formal SysML-Based Models:
A Model-Driven Approach - Archive ouverte HAL Accéder directement au contenu …

Generating Formal Software Architecture Descriptions from Semi-Formal SysML-Based Models: A Model-Driven Approach

C Araújo, T Batista, E Cavalcante… - … on Computational Science …, 2021 - dl.acm.org
The critical nature of many complex software-intensive systems requires formal architecture
descriptions for supporting automated architectural analysis regarding correctness …