Showing 1 - 12 results of 12 for search 'Cezar Alves Sampaio, Augusto ', query time: 0.23s Refine Results
  1. 1
    Mapeando CSP em UML-RT
    Other Authors: “...Cezar Alves Sampaio, Augusto ...”
    Get full text
  2. 2
    Systematic Development of Trustworthy Component-based Systems
    by Teixeira Ramos, Rodrigo
    Published 2014
    Other Authors: “...Cezar Alves Sampaio, Augusto ...”
    Get full text
  3. 3
    Geração automática de Diagramas UML-RT a partir de Especificações CSP
    by Muniz Ferreira, Patrícia
    Published 2014
    Other Authors: “...Cezar Alves Sampaio, Augusto ...”
    Get full text
  4. 4
    Geração automática de casos de teste CSP orientada por propósitos
    by de Carvalho Nogueira, Sidney
    Published 2014
    Other Authors: “...Cezar Alves Sampaio, Augusto ...”
    Get full text
  5. 5
    Geração de especificação formal de sistemas a partir de documento de requisitos
    Other Authors: “...Cezar Alves Sampaio, Augusto ...”
    Get full text
  6. 6
    A framework for the specification and validation of Real Time Systems using Circus Action
    by Sherif, Adnan
    Published 2014
    Other Authors: “...Cezar Alves Sampaio, Augusto ...”
    Get full text
  7. 7
    Algebraic laws for process subtyping
    by Dihego da Silva Oliveira, Jose
    Published 2014
    Other Authors: “...Cezar Alves Sampaio, Augusto ...”
    Get full text
  8. 8
    Multi-Sincronização em menssage sequence charts
    Other Authors: “...Cezar Alves Sampaio, Augusto ...”
    Get full text
  9. 9
    Mercado de produtos orgânicos na Europa : um estudo exploratório de alternativa de investimentos para o agronegócio sustentável brasileiro
    Other Authors: “...Cezar Alves Sampaio, Augusto ...”
    Get full text
  10. 10
    Um algoritmo genético baseado em tipos abstratos de dados e sua especificação em Z
    by Vilhena Vieira Lopes, Roberta
    Published 2014
    Other Authors: “...Cezar Alves Sampaio, Augusto ...”
    Get full text
  11. 11
    Modelagem e análise de objetos como processos em CSP: Padrão de projeto e estudo de caso
    by Elaine Mesel Kaufman, Renata
    Published 2014
    Other Authors: “...Cezar Alves Sampaio, Augusto ...”
    Get full text
  12. 12
    Uma disciplina de análise e projeto para aplicações concorrentes, baseada no RUP
    Other Authors: “...Cezar Alves Sampaio, Augusto ...”
    Get full text
Search Tools: Get RSS Feed — Email this Search