AtendimentoFavoritos
Acessar conta
Carrinho0

Meu Carrinho

    Total

    Finalização da Compra
    Buscar
    Correcção Automatizada de Violações de Regras de Desenho no Código Fonte Utilizando Rapto Lógico
    Cód:
    491_9786204076560

    Por: R$ 382,53ou X de

    Comprar
    Corrigir a deterioração do design no código fonte não é uma tarefa trivial. Diagnosticar e subsequentemente corrigir inconsistências entre o código de um sistema de software e suas regras de projeto (por exemplo, consultas a bancos de dados só são permitidas na camada de persistência) e as convenções de codificação podem ser complexas, demoradas e propensas a erros. Fornecer suporte para este processo é, portanto, altamente desejável, mas de uma complexidade muito maior do que sugerir ações corretivas básicas para problemas simplistas de implementação (como a declarar uma variável local para variável não declarada sugerida pelo Eclipse). Isto se concentra na abordagem de raciocínio abdutivo para reduzir a correção de inconsistências que consiste em (1) um meio para os desenvolvedores documentarem e verificarem o projeto e as regras de codificação de um sistema, (2) um raciocinador lógico abdutivo que faz hipóteses sobre possíveis causas de inconsistências entre o código do sistema e as regras documentadas e (3) uma biblioteca de ações corretivas para cada causa hipotética (4) um mecanismo de retrocesso para restaurar o estágio anterior.
    Veja mais

    Calcule o valor do frete e prazo de entrega para a sua região

    Quem comprou também comprou

    Quem viu também comprou

    Quem viu também viu