1
2
4
6
7
“..., a temporal extension of OCL is proposed. It enriches the ontologically well-founded OntoUML profile and...”
Representing dynamic invariants in ontologically well-founded conceptual models
Dissertação
9
“... de reflexividade − bounded agency (MACDONALD; MARSH, 2005; SCHOON; PETER; ROSS, 2012) −, com impactos sobre...”
[en] BOUNDED CAREERS: RECONSTRUCTING WORKING-CLASS CAREERS
Tese
10
“... algorithm. We also consider the issue of performing model selection with double bounded time series...”
Essays on double bounded time series analysis
Tese
11
Assuntos:
“...Bounded model checking...”
Geração de casos de teste usando Bounded Model Checking
Dissertação
12
Assuntos:
“...Bounded response...”
Bounded mixed regression models using Johnson-SB type distributions
Dissertação
13
14
15
Assuntos:
“...Efficient SMT-Based Context-Bounded Model Checker (ESBMC)...”
BMCLua: Metodologia para Verificação de Códigos Lua utilizando Bounded Model Checking
Dissertação
16
Assuntos:
“...Bounded model checker...”
Verificação e comprovação de erros em códigos C usando bounded model checker
Dissertação
17
“..., denominado de BoundedModelChecking (BMC),esta tese apresenta um conjunto de métodos para complementar...”
Verificação de sistemas de software baseada em transformações de código usando Bounded Model Checking
Tese
18
19
Assuntos:
“...Bounded capabilities...”
Industrial organization dynamics : bounded capabilities and technological interfaces of the Brazilian shipbuilding and Offshore Industry
Tese