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

von Araújo, Camila
Veröffentlicht in ICCSA (21. : 2021 : Cagliari; Online) Computational science and its applications - ICCSA 2021 ; Part 3 (2021)

Empowering SysML-Based Software Architecture Description with Formal Verification: From SysADL to CSP

von Dias, Fagner
Veröffentlicht in ECSA (14. : 2020 : L'Aquila; Online) Software architecture (2020)

THE EFFECTIVENESS OF RED ALGAE ANTIFOULING TO REDUCE THE IMPACT OF LIMNOPERNA FORTUNEI - GOLDEN MUSSEL. A REVIEW

von Araújo, Camila Freitas De
Veröffentlicht in Congresso Anual da ABM - Internacional (74. : 2019 : São Paulo) 74th ABM International Congress 2019 ; Volume 2 of 4 (2020)