Works matching IS 01046500 AND DT 2016 AND VI 22 AND IP 1


Results: 9
    1
    2

    An empirical study of test generation with BETA.

    Published in:
    Journal of the Brazilian Computer Society, 2016, v. 22, n. 1, p. 1, doi. 10.1186/s13173-016-0048-1
    By:
    • de Matos, Ernesto;
    • Moreira, Anamaria;
    • de Souza Neto, João
    Publication type:
    Article
    3
    4
    5
    6
    7

    LODPRO: learning objects development process.

    Published in:
    Journal of the Brazilian Computer Society, 2016, v. 22, n. 1, p. 1, doi. 10.1186/s13173-016-0043-6
    By:
    • Queiros, Leandro;
    • da Silveira, Denis;
    • da Silva Correia-Neto, Jorge;
    • Vilar, Guilherme
    Publication type:
    Article
    8
    9

    Bounded model checking for fixed-point digital filters.

    Published in:
    Journal of the Brazilian Computer Society, 2016, v. 22, n. 1, p. 1, doi. 10.1186/s13173-016-0041-8
    By:
    • Abreu, Renato B.;
    • Gadelha, Mikhail Y.;
    • Cordeiro, Lucas C.;
    • de Lima Filho, Eddie B.;
    • da Silva, Waldir S.
    Publication type:
    Article