Portal do Governo Brasileiro
s
Mostrando
1 - 7
resultados de
7
para a busca '
'
Pular para o conteúdo
Institucional
Sobre
Como participar
Diretrizes
Indicadores
Rede
Instituições participantes
Tecnologia
Faq
Contato
A sua conta
Sair
Entrar
Todos os campos
Título
Ano da publicação
Autor
Assunto
Resumo
Buscar
Busca avançada
Instituição de defesa:
ITA
Assunto:
Engenharia de software
E
Especificação formal
Mostrar filtros (3)
Instituição de defesa:
ITA
Assunto:
Engenharia de software
E
Especificação formal
Resultados da busca
Mostrando
1 - 7
resultados de
7
para a busca '
'
, tempo de busca: 0,02s
Ordenar:
Relevância
Data descendente
Data ascendente
Área
Autor
Título
Exportar CSV
1
Estudo de verificação e validação de sistemas embarcados espaciais utilizando SysML e Model Checking.
Por
Eduardo Correia da Silva
Publicado em 2009
Acessar documento
Dissertação
2
InRob - uma abordagem para testes de interoperabilidade e de robustez de subsistemas de tempo-real intensivos em software.
Por
Maria de Fátima Mattiello-Francisco
Publicado em 2009
Acessar documento
Tese
3
MDM-DA: um método dirigido por modelos para documentação e análise de requisitos de sistemas.
Por
Breno Lisi Romano
Publicado em 2010
Acessar documento
Dissertação
4
AndroMDT : um método de testes funcionais dirigido por modelos para sistemas de software.
Por
Henrique Fernandes de Campos
Publicado em 2010
Acessar documento
Dissertação
5
Aplicação de teorias do erro humano no processo da engenharia de requisitos.
Por
Milene Elizabeth Rigolin Ferreira Lopes
Publicado em 2011
Acessar documento
Dissertação
6
Um método orientado a processo para elicitação de requisitos em sistemas computadorizados
Por
Elton Oliveira Ferreira
Publicado em 2012
Acessar documento
Dissertação
7
Um método para modelagem de sistemas aplicado a um air data system
Por
Rubens Felipe Quintanilha de Carvalho
Publicado em 2011
Acessar documento
Dissertação
Voltar
Refinar a Busca
Instituição de defesa
ITA
Bases coletadas
Biblioteca Digital de Teses e Dissertações do ITA
7
Autor
Breno Lisi Romano
1
Eduardo Correia da Silva
1
Elton Oliveira Ferreira
1
Henrique Fernandes de Campos
1
Maria de Fátima Mattiello-Francisco
1
Milene Elizabeth Rigolin Ferreira Lopes
1
Mais ...
Rubens Felipe Quintanilha de Carvalho
1
Ver todos ...
menos ...
Tipo de documento
Dissertação
6
Tese
1
Tipo de acesso
openAccess
7
Idioma
Português
7
Assunto
Engenharia de software
Especificação formal
Administração de desenvolvimento de software
5
Linguagens de simulação
3
Testes de programa
3
Engenharia de sistemas
2
Mais ...
Estudo de casos
2
Modelagem (processos)
2
Verificação formal
2
Administração de projetos
1
Análise de erros
1
Arquitetura de software
1
Confiabilidade de software
1
Fatores humanos
1
Ferramentas de desenvolvimento de software
1
Integração de sistemas
1
Operação em tempo real
1
RUP
1
Requisitos
1
Sistemas de computadores embarcados
1
Software de segurança crítica
1
Teoria dos autômatos
1
UML
1
Verificação de programas (computadores)
1
Ver todos ...
menos ...
Ano da publicação
De:
Até:
Carregando...