publicações selecionadas Especificação Formal de links e nós em um sistema de hipertexto para desenvolvimento de software On Structuring Functional Programs with Monoidal Profunctors Formal Reuse of Hardware Design
theses/dissertations advising Um Estudo de um Protocolo de Comunicação para Dispositivos Móveis usando Distributed Join-Calculus Classificação e Seleção de Componentes Concorrentes Validação de padrões de web services transacionais Serviços Web: Avaliação de confiabilidade através de padrões transacionais Tree Bark framework: competences and mindset rearrangementsfor Digital and Technology Literacy in times of exponential rate of changes Geração parcial de código Java a partir de especificações formais Z. Geração de propriedades sobre programas Java a partir de objetivos de teste Classificação semi-automática para componentes java Tree Bark framework: competences and mindset rearrangements for Digital and Technology Literacy in times of exponential rate of changes. Composição de Fluxo de Controle de Frameworks Java A Formalization of a Startup Finance Transaction Model using Alloy Ambiente integrado para verificação e teste da coordenação de componentes tolerantes a falhas Geração de Propriedades sobre Programas Java a partir de Objetivos de Teste Um framework para coordenação do tratamento de exceções em sistemas tolerantes a falhas Um estudo sobre teste versus verificação formal de programas Java Utilização de mineração de especificação na identificação de fluxos inválidos em softwares ?Programming with Monoidal Profunctors and Semiarrows. Multi-Agent Systems Verification by means of Simulation Analyis Classificação e Busca de Componentes de Software com Tratamento de Exceções A influência das métricas de código no número de desenvolvedores em projetos de código-fonte aberto Um modelo baseado em dados históricos para a estimação dos juros da dívida técnica Composição de fluxos de Controle de framworks Java Itens de teste colaborativo em 6 camadas:perspectivas para avaliação formativa assitida por computadores em ambientes virtuais Integração de Verificadores Formais para Agentes Moveis Geração automática de casos de teste para Web Services Estudo sobre Redução do Custo de Testes através da Utilização de Verificação de Componentes Java com Tratamento de Exceções Teste e verificação formal do comportamento excepcional de programas Java Verification of behaviourist multi-agent systems by means of formally guided simulations Análise da modernização de sistemas monolíticos legados para micro-serviços à luz da dívida técnica: um estudo de caso corporativo Uso de redes bayesianas no gerenciamento de manutenção de software Uma técnica de verificação formal para pi-calculus baseada em bi-simulação up-to e algoritmos de particionamento Um método para a implementação de regras de negócio a partir da semântica SBVR Itens de teste colaborativo em 6 camadas: Perspectivas para avaliação formativa assistida por computador considerando níveis de compreensão Uma Estratégia para Composição Formal de Frameworks
