Skip to main content

1 Result(s)

within Camila Araújo Remove this filter English Remove this filter Computer Hardware Remove this filter

and

  1. No Access

    Chapter and Conference Paper

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

    Software architecture description languages (ADLs) currently adopted by industry for software-intensive systems are largely semi-formal and essentially based on SysML and specialized profiles. Despite these AD...

    Fagner Dias, Marcel Oliveira, Thais Batista, Everton Cavalcante… in Software Architecture (2020)