Showing 1 - 13 results of 13 for search 'MOTA, Alexandre Cabral', query time: 0.49s Refine Results
  1. 1
    Model checking CSPZ: Techniques to overcome state explosion
    by MOTA, Alexandre Cabral
    Published 2014
    Get full text
  2. 2
    A rigorous methodology for developing GUI-based DSL formal tools
    by Silva, Robson dos Santos e
    Published 2015
    Other Authors: “...Mota, Alexandre Cabral ...”
    Get full text
  3. 3
    Gerando modelos SCADE a partir de especificações descritas em SCR
    by ANDRADE, Marcelo Costa Melo de
    Published 2015
    Other Authors: “...MOTA, Alexandre Cabral...”
    Get full text
  4. 4
    Evaluation of GUI testing techniques for system crashing: from real to model-based controlled experiments
    by BERTOLINI, Cristiano
    Published 2014
    Other Authors: “...MOTA, Alexandre Cabral...”
    Get full text
  5. 5
    Modelling and Integrating Formal Models: from Test Cases and Requirements Models
    by SOUZA, Cléclio Feitosa de
    Published 2014
    Other Authors: “...MOTA, Alexandre Cabral...”
    Get full text
  6. 6
    Systematic model-based safety assessment via probabilistic model checking
    by GOMES, Adriano José Oliveira
    Published 2014
    Other Authors: “...MOTA, Alexandre Cabral...”
    Get full text
  7. 7
    Verificação de modelos para programas em um subconjunto de JCSP
    Other Authors: “...MOTA, Alexandre Cabral...”
    Get full text
  8. 8
    Abstraction of infinite and communicating CSPZ processes
    by FARIAS, Adalberto Cajueiro de
    Published 2014
    Other Authors: “...MOTA, Alexandre Cabral...”
    Get full text
  9. 9
    Design e validação formal de sistemas de controle de voo fly-by-wire
    by JESUS JUNIOR, Joabe Bezerra de
    Published 2014
    Other Authors: “...MOTA, Alexandre Cabral...”
    Get full text
  10. 10
    Verificando a corretude de geradores automáticos de código
    by SOUSA, Thiers Garretti Ramos
    Published 2014
    Other Authors: “...MOTA, Alexandre Cabral...”
    Get full text
  11. 11
    Abordagem para geração automática de código para framework de automação de testes
    Other Authors: “...MOTA, Alexandre Cabral...”
    Get full text
  12. 12
    A black-box testing technique for the detection of crashes based on automated test scenarios
    by PERES, Glaucia Boudox
    Published 2014
    Other Authors: “...MOTA, Alexandre Cabral...”
    Get full text
  13. 13
    Geração mecanizada de abstrações seguras para especificações CSP
    by DAMASCENO, Adriana Carla
    Published 2014
    Other Authors: “...MOTA, Alexandre Cabral...”
    Get full text
Search Tools: Get RSS Feed — Email this Search