Explorando o uso do Ada na segurança crítica: práticas eficazes com o GNAT e o SPARK para garantir sistemas confiáveis e robustos em aplicações aeronáuticas
Demonstrar como usar Ada com GNAT e SPARK para desenvolver sistemas críticos no setor aeronáutico, focando em segurança e verificações formais.
Explorando a produtividade no desenvolvimento com Xtend: um guia prático para integrar Xtend com frameworks populares como Eclipse Xtext e JUnit, e dicas de melhores práticas no uso da linguagem.
Demonstrar como integrar Xtend com Eclipse Xtext e JUnit, realizando um ciclo de desenvolvimento completo com melhores práticas.
Explorando o Visual Basic: um guia prático para desenvolver aplicativos de desktop com o uso do .NET Framework e ferramentas como Visual Studio e WinForms
Ensinar como desenvolver um aplicativo de desktop simples utilizando Visual Basic, .NET Framework e WinForms, abrangendo todas as etapas do desenvolvimento e testes.