Uma ferramenta em especial se destacou para o Processo Formal de Engenharia de Software. Ela foi originalmente desenvolvida na década de 80 do sécu...

Uma ferramenta em especial se destacou para o Processo Formal de Engenharia de Software. Ela foi originalmente desenvolvida na década de 80 do século XX por Jean-Raymond Abrial, e tem sido usada nas principais aplicações de Sistema de Segurança Crítica na Europa. Qual o nome dessa Notação? Assinale a alternativa CORRETA: Notação C#. JAVA. Notação C. Notação Z. Notação B.