8 Resultados para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
Refinado por:
autor:
Sousa, T
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Dissertação de Mestrado
|
|
Revisão de modelos formais de sistemas de estados finitosSousa, Thiago Carvalho DeBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2007-03-26Acesso online. A biblioteca também possui exemplares impressos. |
| 2 |
Material Type: Tese de Doutorado
|
|
Um processo de desenvolvimento orientado a objetos com suporte à verificação formal de inconsistências.Sousa, Thiago Carvalho DeBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2013-11-29Acesso online. A biblioteca também possui exemplares impressos. |
| 3 |
Material Type: Tese de Doutorado
|
|
Geração de testes a partir de máquinas de estados finitos estendidas extraídas de diagramas de sequência UMLRocha, Mauricio Rêgo Mota DaBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2020-12-17Acesso online |
| 4 |
Material Type: Dissertação de Mestrado
|
|
Simulação computacional do sangue usando o método Smoothed Particle Hydrodynamics (SPH)Sousa, Thiago CarvalhoBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola de Artes, Ciências e Humanidades 2019-11-29Acesso online |
| 5 |
Material Type: Dissertação de Mestrado
|
|
Simulação computacional do sangue usando o método Smoothed Particle Hydrodynamics (SPH)Thiago Carvalho Sousa Helton Hideraldo Biscaro2020Localização: EACH - Esc. Artes, Ciências e Humanidades (t006.8 S725s )(Acessar) |
| 6 |
Material Type: Artigo
|
|
Automatic analysis of requirements consistency with the B methodThiago Carvalho de Sousa Jorge Rady de Almeida Junior 1959-; Sidney Viana; Judith PavónSoftware engineering notes v.35, n.2, p.1-4, 2010New York 2010Item não circula. Consulte sua biblioteca.(Acessar) |
| 7 |
Material Type: Artigo
|
|
Automatic analysis of requirements consistency with the B methodThiago Carvalho de Sousa Jorge Rady de Almeida Junior 1959-; Sidney Viana; Judith PavónSoftware engineering notes v.35, n.2, p.1-4, 2010New York 2010Item não circula. Consulte sua biblioteca.(Acessar) |
| 8 |
Material Type: Artigo de Congresso
|
|
Test case generation by EFSM extracted from UML sequence diagramsMauricio Rocha Adenilso da Silva Simão; Thiago Carvalho de Sousa; Marcelo Batista; International Conference on Software Engineering and Knowledge Engineering - SEKE (31. 2019 Lisboa)Proceedings Pittsburgh : KSI Research, 2019Pittsburgh KSI Research Inc. and Knowledge Systems Institute Graduate School 2019Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2956065 )(Acessar) |
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
Assunto
- Sangue (2)
- Métodos Numéricos (2)
- Análise De Requisitos (2)
- Uml (2)
- Verificação De Inconsistências (1)
- Engenharia De Software (1)
- Poiseuille Flow (1)
- Fronteiras (1)
- Máquina De Estados Finitos Estendida (1)
- Simulação Computacional (1)
- Sequence Diagram (1)
- Nusmv (1)
- Iconix (1)
- Software Development Process (1)
- Malha Triangular (1)
- Desenvolvimento De Software (1)
- Model-Based Testing (1)
- Simulation Computational (1)
- Especificação De Sistemas E Programas (1)
- Realidade Virtual (1)
-
Mais opções
Autor/Criador
- Pavón, J (2)
- Viana, S (2)
- Simão, A (2)
- Rocha, M (2)
- Biscaro, H (2)
- Almeida Junior, J (2)
- Silva, P (1)
- International Conference on Software Engineering and Knowledge Engineering - SEKE (1)
- Batista, M (1)
- Wassermann, R (1)
-
Mais opções
Biblioteca
Idioma
- Português (5)
- Inglês (3)
-
Mais opções
Nome da Publicação
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 