Personal Information
Organización/Lugar de trabajo
Curitiba Area, Brazil, Paraná Brazil
Ocupación
Associate Professor at UTFPR
Sector
Education
Sitio web
www.dainf.ct.utfpr.edu.br/~adolfo
Acerca de
Teacher and research scientist in Computer Science. Particularly interested in theorem proving, logic for computer science, software development and agile methods.
Specialties: Theorem Proving, Tableaux, Logics of Formal Inconsistency
Java, Eclipse
Etiquetas
agile
agile software development
coding dojo
utfpr
lógica
elixir
tdd
test-driven development
meetups
logic
"métodos ágeis"
logica
erlang
programming
pesquisa
junit
pareada
extrema
scrum
xp
testes
desenvolvimento
games
jogos
unreal
unreal engine
prgramao
geis
programao
gil
ageis
mtodos geis
desenvolvimento dirigido por testes
mestrado profissional
computacao aplicada
ppgca
bsi
sistemas
informao
universidade
paraconsistency
books
kondo
functional programming
hackathons
coderetreats
coding dojos
encontros
linguagem de programacao
programação
paraguai
agil
kanban
design
testing
software engineering
social aspects
learning
probability
materials science
artificial intelligence
business intelligence
paleo
noakes
lowcarb
nutrition
diet
"agile methods"
research
ágil
Ver más
Presentaciones
(33)Recomendaciones
(149)A non-technical introduction to ChatGPT - SEDA.pptx
Sue Beckingham
•
Hace 2 años
Why on Earth would I test if I have to just "Let it crash"?
Laura M. Castro
•
Hace 4 años
Getting ready for the cloud
Daniel Fireman
•
Hace 6 años
Experience in conducting 19 secondary (survey) studies in Software Engineering
Vəhid Gəruslu
•
Hace 5 años
Elixir Brasil 2019 - Quality: A Panacéia para seu código Elixir
Weverton Timoteo
•
Hace 6 años
Testing at Spotify
Andrii Dzynia
•
Hace 9 años
Building and Evaluating Theories in Software Engineering
Daniel Mendez
•
Hace 6 años
Pattern matching - O que é? Onde vive? Do que se alimenta? Como se reproduz?
Dickson S. Guedes
•
Hace 7 años
Vencendo a competição terry orlick
Janaina Braga
•
Hace 8 años
Análise de Redes em Mídias Sociais: Começando sem Erros #codabr
Tarcízio Silva
•
Hace 7 años
Elixir inside out
Kelvin Stinghen
•
Hace 7 años
The Rising Tide Lifts All Boats: The Advancement of Science in Cybersecurity
laurieannwilliams
•
Hace 7 años
Contribuindo para a comunidade Elixir
Kelvin Stinghen
•
Hace 7 años
Writing Good Software Engineering Research Papers: Revisited
laurieannwilliams
•
Hace 8 años
TDD is for Dreamers, not for Real Developers, Isn't It? - Entwicklertag Frankfurt 2017
Sven Amann
•
Hace 8 años
Agile_BR_2016_projetos_ageis_tambem_falham
Eduardo Peres
•
Hace 8 años
Aula 4 - Teste de mesa
Pacc UAB
•
Hace 12 años
How to Get My Paper Accepted at Top Software Engineering Conferences
Alex Orso
•
Hace 12 años
ICSE2018 presentation 2016-05-20
Ivica Crnkovic
•
Hace 9 años
Gerenciamento de projetos treinamento PET Civil UFPR 2016
Ricardo Mendes Jr
•
Hace 9 años
Talks2015 novdec
CS, NcState
•
Hace 9 años
Maturity model for Startup Ecosystems
Daniel Cukier
•
Hace 9 años
Antifragile, Microservices and DevOps - A Study
William Yang
•
Hace 11 años
O Papel da Criptografia Moderna
Ruy De Queiroz
•
Hace 9 años
Future se oct15
CS, NcState
•
Hace 9 años
Build a Bigger Brain
Joe Kutner
•
Hace 12 años
SDN Dependability: Assessment, Techniques, and Tools - SDN Research Group - IETF 93 - Praga
Stenio Fernandes
•
Hace 10 años
DNAD 2015 - Métricas de código, pra que te quero?
Maurício Aniche
•
Hace 10 años
Exploring the Causes of Frustration for Software Developers
Denae Ford
•
Hace 10 años
Personal Information
Organización/Lugar de trabajo
Curitiba Area, Brazil, Paraná Brazil
Ocupación
Associate Professor at UTFPR
Sector
Education
Sitio web
www.dainf.ct.utfpr.edu.br/~adolfo
Acerca de
Teacher and research scientist in Computer Science. Particularly interested in theorem proving, logic for computer science, software development and agile methods.
Specialties: Theorem Proving, Tableaux, Logics of Formal Inconsistency
Java, Eclipse
Etiquetas
agile
agile software development
coding dojo
utfpr
lógica
elixir
tdd
test-driven development
meetups
logic
"métodos ágeis"
logica
erlang
programming
pesquisa
junit
pareada
extrema
scrum
xp
testes
desenvolvimento
games
jogos
unreal
unreal engine
prgramao
geis
programao
gil
ageis
mtodos geis
desenvolvimento dirigido por testes
mestrado profissional
computacao aplicada
ppgca
bsi
sistemas
informao
universidade
paraconsistency
books
kondo
functional programming
hackathons
coderetreats
coding dojos
encontros
linguagem de programacao
programação
paraguai
agil
kanban
design
testing
software engineering
social aspects
learning
probability
materials science
artificial intelligence
business intelligence
paleo
noakes
lowcarb
nutrition
diet
"agile methods"
research
ágil
Ver más