Buscas alternativas:
automatic code » automatic model (Expandir a busca), automatic and (Expandir a busca), automatic face (Expandir a busca)
code checking » model checking (Expandir a busca)
automatic code » automatic model (Expandir a busca), automatic and (Expandir a busca), automatic face (Expandir a busca)
code checking » model checking (Expandir a busca)
1
Assuntos:
“...Automated Code Checking...”
Verificação automatizada de regras de acessibilidade em modelos BIM utilizando o padrão IDS.
Dissertação
2
Assuntos:
“...Rule checking system...”
Protótipo para consulta paramétrica aos índices urbanísticos com suporte nas tecnologias BIM e GIS: o caso da cidade de João Pessoa
Dissertação
3
4
Assuntos:
“...Model checking...”
Metodologia para desenvolvimento de sistemas de controle e monitoração de navios assistido por Model Checking
Dissertação
5
Assuntos:
“...Model Checking...”
Verificação de sistemas de software baseada em transformações de código usando Bounded Model Checking
Tese
6
Assuntos:
“...Model Checking...”
Revisão de modelos formais de sistemas de estados finitos
Dissertação
7
Assuntos:
“...Bounded Model Checking...”
Verificação de programas C++ baseados no framework crossplataforma Qt
Dissertação
8
Assuntos:
“...Model checking...”
Uma metodologia para a geração de testes unitários baseada em extração de modelos
Dissertação
9
Assuntos:
“...Automatic Feedback...”
Automação de feedback para melhorar a nomeação de identificadores de alunos.
Dissertação
10
Assuntos:
“...Automatic Feedback...”
Automação de feedback para melhorar a nomeação de identificadores de alunos.
Dissertação
11
Assuntos:
“...Static code analysis...”
Um estudo de caracterização de mudanças arquiteturais em projetos de software livre
Tese
12
“...Flight systems formal checking became necessary once automatic control systems became widely...”
Verificação de projetos de controle de veículos aéreos autônomos
Dissertação
14
15
17
18
“..., since MODELOG not only generates executable code, but also model checking code from UML/OCL models...”
MODELOG : model-oriented development with executable logical object generation
Tese
19
“... automatic code generation which is executed by an translator and using formal verification of properties...”
Modelagem, verificação formal e codificação de sistemas reativos autônomos
Tese
20
“... definition of compartments; (iii) the semi-automatic rule extraction process; and (iv) the rule checking and...”
Uma abordagem de apoio à extração da política de tratamento de exceções
Tese