Bernardo Ferreira Bastos Braga

  • Endereço para acessar este CV: http://lattes.cnpq.br/3719647573445917
  • Última atualização do currículo em 25/09/2017


mestre em informática pela UFES, produziu dissertação de mestrado a respeito do uso de narrativas na descrição e validação de modelos conceituais. Também possui graduação em Ciência da Computação pela Universidade Federal do Espírito Santo (2011) e lá desenvolveu por dois anos consecutivos um trabalho de iniciação científica no laboratório NEMO sob a tutela de João Paulo Andrade Almeida e Giancarlo Guizzardi. Ainda, lá agiu como representante estudantil no Colegiado de Ciência da Computação. Atualmente trabalha em sua empresa - Menthor - onde atua na área de consultoria e desenvolvimento de softwares baseados em ontologias. Tem experiência em Desenvolvimento de Aplicativos Móveis, OntoUML, Ontologias, Modelagem Conceitual, Validação de Modelos Conceituais,Transformação de Modelos e Visualização de Informação. Foi empreendedor em desenvolvimento de aplicativos móveis no estúdio BogeyBox no período de 2011 até 2013. (Texto informado pelo autor)


Identificação


Nome
Bernardo Ferreira Bastos Braga
Nome em citações bibliográficas
BRAGA, B. F. B.;Braga, Bernardo F. B.

Endereço


Endereço Profissional
Menthor.
Rua Comissário Octávio Queiroz
Jardim da Penha
29060270 - Vitória, ES - Brasil
Telefone: (027) 988277585
URL da Homepage: www.menthor.net


Formação acadêmica/titulação


2013 - 2016
Mestrado em Mestrado em Informática.
Universidade Federal do Espírito Santo, UFES, Brasil.
Título: Modeling Stories for Conceptual Model Assessment,Ano de Obtenção: 2016.
Orientador: João Paulo Andrade Almeida.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
2006 - 2011
Graduação em Ciência da Computação.
Universidade Federal do Espírito Santo, UFES, Brasil.
Título: Cognitive effective instance diagram design.
Orientador: João Paulo Andrade Almeida.
2000 - 2004
Ensino Médio (2º grau).
Sociedade Cultural Monteiro Lobato Ltda, SCML*, Brasil.




Formação Complementar


2005 - 2006
Desenvolvimento de jogos 3D. (Carga horária: 320h).
Faculdade Espírito-santense de Administração, FAESA, Brasil.


Atuação Profissional



BogeyBox, BOGEYBOX, Brasil.
Vínculo institucional

2011 - 2013
Vínculo: Colaborador, Enquadramento Funcional: Diretor Geral, Sócio Fundador, Carga horária: 60, Regime: Dedicação exclusiva.


Menthor, MENTHOR, Brasil.
Vínculo institucional

2016 - Atual
Vínculo: Sócio, Enquadramento Funcional: Sócio, Diretor Executivo



Projetos de pesquisa


2009 - 2010
Aplicando Ferramentas de Análise para o Desenvolvimento e Validação de Modelos Conceituais de Domínio

Projeto certificado pelo(a) coordenador(a) João Paulo Andrade Almeida em 30/04/2013.
Descrição: Este projeto concentra-se em investigação na área de modelagem conceitual para sistemas de informação. Ele envolve o estudo de possíveis combinações de uma linguagem de modelagem conceitual ontologicamente bem fundamentada (a OntoUML, definida em (Guizzardi, 2005)) com linguagens de modelagem fortemente influenciadas pela lógica, como Alloy (Jackson, 2006), que conferem precedência às necessidades de manipulação computacional dos modelos em detrimento da usabilidade das linguagens por experts de domínio (leigos em técnicas formais). Não obstante, são acompanhadas de ferramental poderoso de análise e inferência. Utilizamos deste ferramental para gerar instâncias das classes do modelo que respeitem as regras impostas pelo modelo OntoUML, com fins de validação. A combinação das linguagens em um framework metodológico consistente permite tanto a manipulação dos modelos conceituais por experts de domínio quanto a inferência e análise automática de modelos através de ferramental já disponível (Alloy Constraint Analyser). O trabalho contribui com a melhoria da qualidade de modelos conceituais de domínio que servem como base para a construção de sistemas de informação e para avaliação dos domínios arquiteturais da descrição de arquiteturas corporativas de TI..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) .
Integrantes: Bernardo Ferreira Bastos Braga - Integrante / Almeida, João Paulo Andrade - Coordenador.
2008 - 2009
Ferramentas de Análise para o Desenvolvimento de Modelos Conceituais de Domínio

Projeto certificado pelo(a) coordenador(a) João Paulo Andrade Almeida em 30/04/2013.
Descrição: Este projeto concentra-se em investigação na área de modelagem conceitual para sistemas de informação. O bolsista estudará possíveis combinações de uma linguagem de modelagem conceitual ontologicamente bem fundamentada (a OntoUML, definida em (Guizzardi, 2005)) com as linguagens que enfatizam a análise computacional e suas ferramentas, como por exemplo as linguagens da Web Semântica: OWL (W3C, OWL, 2004), SWRL (W3C, SWRL, 2004), SWRL-FOL (W3C,SWRL-FOL, 2005), e linguagens formais também baseadas em lógica como Alloy (Jackson, 2006). A combinação das linguagens em um framework metodológico consistente permitirá tanto a manipulação dos modelos conceituais por experts de domínio quanto a inferência e análise automática de modelos através de ferramental (Alloy Constraint Analyser, Protegé/Racer, F-OWL, FaCT, etc.). Desta forma, o trabalho contribuirá com melhorias para a prática de modelagem conceitual e consequentemente com a melhoria da qualidade de modelos conceituais de domínio que servem como base para a construção de sistemas de informação..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) .
Integrantes: Bernardo Ferreira Bastos Braga - Integrante / Almeida, João Paulo Andrade - Coordenador.


Outros Projetos


2012 - Atual
Projeto para manutenção do site da narrativa digital "Fadas - O Despertar do Caos"
Situação: Em andamento; Natureza: Outra.


Idiomas


Dinamarquês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Sueco
Compreende PoucoLê Pouco.
Espanhol
Compreende Razoavelmente, Fala Razoavelmente, Lê Razoavelmente, Escreve Pouco.


Produções



Produção bibliográfica
Artigos completos publicados em periódicos

1.
BENEVIDES, A. B.2011BENEVIDES, A. B. ; GUIZZARDI, G. ; BRAGA, B. F. B. ; Almeida, J.P.A. . Validating modal aspects of OntoUML conceptual models using automatically generated visual world structures. Journal of Universal Computer Science (Print), v. 16, p. 2904-2933, 2011.

2.
Braga, Bernardo F. B.2010 Braga, Bernardo F. B.; ANDRADE, J. P. A. ; Guizzardi, Giancarlo ; Benevides, Alessander B. . Transforming OntoUML into Alloy: towards conceptual model validation using a lightweight formal method. Innovations in Systems and Software Engineering (Print), v. 6, p. 55-63, 2010.

3.
Benevides, Alessander B.2010 Benevides, Alessander B. ; Guizzardi, Giancarlo ; Braga, Bernardo F. B. ; ANDRADE, J. P. A. . Validating Modal Aspects of OntoUML Conceptual Models Using Automatically Generated Visual World Structures. Journal of Universal Computer Science (Print), v. 16, p. 2904-2933, 2010.

4.
Benevides, Alessander B.2009 Benevides, Alessander B. ; Guizzardi, Giancarlo ; Braga, Bernardo F. B. ; ANDRADE, J. P. A. . Assessing Modal Aspects of OntoUML Conceptual Models in Alloy. Lecture Notes in Computer Science, v. 5833, p. 55-64, 2009.

Apresentações de Trabalho
1.
Braga, Bernardo F. B.; ANDRADE, J. P. A. ; Guizzardi, Giancarlo ; Benevides, Alessander B. . Transforming OntoUML into Alloy: Towards Conceptual Model Validation using a Lightweight Formal Method. 2009. (Apresentação de Trabalho/Conferência ou palestra).


Produção técnica
Programas de computador sem registro
1.
BRAGA, B. F. B.; MACIEL, C. P. ; Borges, L. ; BONA, J. . Folclore Brasileiro. 2012.

2.
BRAGA, B. F. B.; MACIEL, C. P. ; Borges, L. ; BONA, J. . Fadas - O Despertar do Caos. 2012.


Produção artística/cultural
Outras produções artísticas/culturais
1.
BRAGA, B. F. B.; MACIEL, C. P. ; Borges, L. ; BONA, J. . Fadas - O Despertar do Caos. 2012 (Aplicativo para iPad).



Eventos



Participação em eventos, congressos, exposições e feiras
1.
Festival Internacional de Linguagens Eletrônicas.MESA REDONDA: Repensando a interatividade da literatura no tablet. 2012. (Simpósio).

2.
Jornadas de Atualização em Computação, Elétrica e Eletrônica(JACEE).Design de Interação e Experiência mobile voltado para pequenas equipes. 2012. (Outra).

3.
14th IEEE International EDOC Conference - The Enterprise Computing Conference (IEEE EDOC 20120). 2010. (Congresso).

4.
28th International Conference on Conceptual Modeling (ER 2009). 2009. (Congresso).

5.
Second IEEE International workshop UML and Formal Methods.Transforming OntoUML into Alloy: Towards Conceptual Model Validation using a Lightweight Formal Method. 2009. (Oficina).

6.
V Simpósio Brasileiro de Sistemas Colaborativos (SBSC 2008). 2008. (Simpósio).

7.
XIV Simpósio Brasileiro de Sistemas Multimídia e Web (WebMedia 2008). 2008. (Simpósio).

8.
Curso Básico de Python. 2007. (Oficina).

9.
Desenvolvimento de Jogos utilizando Pygames - Módulo Básico. 2007. (Oficina).

10.
Topcom 5 - Torneio de programação de computadores.Equipe Bigorna. 2007. (Outra).

11.
VII Escola Regional de Informática ERI-ES. 2007. (Outra).

12.
Vim para programar novamente!. 2007. (Oficina).



Inovação



Outros projetos



Página gerada pelo Sistema Currículo Lattes em 17/12/2018 às 4:05:42