Showing 1 - 8 results of 8 for search '82573611787', query time: 0.04s Refine Results
  1. 1
    A family of coverage criteria based on patterns to the test of metaprograms
    by Antunes, Cleverton Hentz
    Published 2018
    Other Authors: “...82573611787...”
    Get full text
  2. 2
    Beta: a B based testing approach
    by Matos, Ernesto Cid Brasil de
    Published 2016
    Other Authors: “...82573611787...”
    Get full text
  3. 3
    Gera??o de casos de teste a partir de especifica??es B
    by Souza, Fernanda Monteiro de
    Published 2014
    Other Authors: “...CPF:82573611787...”
    Get full text
    Others
  4. 4
    Beta: uma ferramenta para gera??o de testes de unidade a partir de especifica??es B
    by Matos, Ernesto Cid Brasil de
    Published 2014
    Other Authors: “...CPF:82573611787...”
    Get full text
    Others
  5. 5
    KitSmart: Uma biblioteca de componentes para o desenvolvimento rigoroso de aplica??es Java Card com o m?todo B
    by Santos, Simone de Oliveira
    Published 2014
    Other Authors: “...CPF:82573611787...”
    Get full text
    Others
  6. 6
    JCML - Java Card Modeling Language: Defini??o e Implementa??o
    by Souza Neto, Pl?cido Ant?nio de
    Published 2014
    Other Authors: “...CPF:82573611787...”
    Get full text
    Others
  7. 7
    BSmart: desenvolvimento rigoroso de aplica??es Java Card com base no m?todo formal B
    by Gomes, Bruno Emerson Gurgel
    Published 2014
    Other Authors: “...CPF:82573611787...”
    Get full text
    Others
  8. 8
    Agraphs: defini??o, implementa??o e suas ferramentas
    by Sena, Dem?stenes Santos de
    Published 2014
    Other Authors: “...CPF:82573611787...”
    Get full text
    Others
Search Tools: Get RSS Feed — Email this Search