Buscas alternativas:
formal programming » foetal programming (Expandir a busca), fetal programming (Expandir a busca), goal programming (Expandir a busca)
checking formal » connecting formal (Expandir a busca)
coder checking » code checking (Expandir a busca), model checking (Expandir a busca), body checking (Expandir a busca)
python python » pythons python (Expandir a busca), piton python (Expandir a busca), pitons python (Expandir a busca)
coder coder » coder decoder (Expandir a busca), code code (Expandir a busca), decoder codec (Expandir a busca)
formal programming » foetal programming (Expandir a busca), fetal programming (Expandir a busca), goal programming (Expandir a busca)
checking formal » connecting formal (Expandir a busca)
coder checking » code checking (Expandir a busca), model checking (Expandir a busca), body checking (Expandir a busca)
python python » pythons python (Expandir a busca), piton python (Expandir a busca), pitons python (Expandir a busca)
coder coder » coder decoder (Expandir a busca), code code (Expandir a busca), decoder codec (Expandir a busca)
1
2
3
Verificação de sistemas de software baseada em transformações de código usando Bounded Model Checking
Assuntos:
“...Model Checking...”Acessar documento
Tese
4
5
6
7
“... e na inclusão de novas regras de tradução que definem a semântica formal para os elementos adicionados...”
Acessar documento
Acessar documento
Trabalho de conclusão de curso
8
9
10
11
12
13
14
15
16
17
18
“... Live and Monty Python's Flying Circus with a practical approach to Brazilian comedy (something unusual...”
Acessar documento
Acessar documento
Trabalho de conclusão de curso
19
20
“... Formal (Model Checking), padrões de especificação, e abordagem de minimização por identificação de testes...”
Acessar documento
Acessar documento
Dissertação