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

Camila Arajo, Thas Batista, Everton Cavalcante, Flvio Oquendo

Browse the full ICCSA paper archive.