Buscas alternativas:
"sistemas reativos" » "sistemas rotativos" (Expandir a busca), "sistemas interativos" (Expandir a busca), "sistemas produtivos" (Expandir a busca)
"sistemas reativos" » "sistemas rotativos" (Expandir a busca), "sistemas interativos" (Expandir a busca), "sistemas produtivos" (Expandir a busca)
1
Assuntos:
“...Sistemas reativos...”
Geração de código no projeto de sistemas reativos a partir da linguagem RS
Dissertação
2
Assuntos:
“...Sistemas reativos...”
PROTEUM - RS/ST: uma ferramenta para apoiar a validação de especificações statecharts baseada na análise de mutantes.
Dissertação
3
Assuntos:
“...sistemas reativos...”
Modelagem, verificação formal e codificação de sistemas reativos autônomos
Tese
4
Assuntos:
“...Sistemas reativos...”
Learning finite state machine models of evolving systems: From evolution over time to variability in space
Tese
5
Assuntos:
“...Sistemas reativos...”
Análise de mutantes no contexto de sistemas reativos : uma contribuição para o estabelecimento de estratégias de teste e validação
Tese
6
Assuntos:
“...Índice de desempenho - Sistemas reativos....”
Índice de desempenho aplicado a sistemas reativos baseados em conceitos entrópicos.
Dissertação
7
Assuntos:
“...Sistemas Reativos...”
Minimização da taxa de geração de entropia em sistemas reativos: aplicações e análise.
Tese
8
Assuntos:
“...Sistemas reativos...”
Geração de conjuntos de teste para sistemas reativos, de tempo-real, e com transformações de contexto
Tese
9
10
Assuntos:
“...Sistemas reativos (Computação)...”
Everest : uma ferramenta para verificação de conformidade e geração de testes para modelos reativos
Dissertação
11
Assuntos:
“...Sistemas Reativos...”
Geração de objetivos de teste de sistemas reativos baseada na técnica de verificação de modelos CTL.
Dissertação
12
Assuntos:
“...Modelagem de sistemas reativos...”
Dispositivos adaptativos cooperantes: formulação e aplicação.
Tese
13
Assuntos:
“...Sistemas reativos baseados em fluxos de dados...”
NAT2TEST: generating test cases from natural language requirements based on CSP
Tese