| 2014 |
Trabalho em evento |
Desenvolvendo Habilidades do Pensamento Computacional no Quarto Ano do Ensino Fundamental
Simone André Da Costa CAVALHEIRO; Gleider M De CAMPOS; Plinio Finkenauer JUNIOR; Rafael Dias LAGEMANN; Daiane Focking ANDRADE et al
32 Seminário de Extensão Universitária da Região Sul
|
SH
Education
|
| 2014 |
Trabalho em evento |
Introdução de Algoritmos de Busca em Turmas do Ensino Fundamental
Plinio Finkenauer JUNIOR; Daiane ANDRADE; Luciana FOSS; Simone André Da Costa CAVALHEIRO; Renata Hax Sander REISER
XXIII Congresso de Iniciação Científica da Universidade Federal de Pelotas
|
SH
Education
|
| 2014 |
Trabalho em evento |
Otimizações de Táticas para Prova de Teoremas de Gramática de Grafos
Simone Drawanz RUTZ; Natália DARLEY; Luciana FOSS; Simone André Da Costa CAVALHEIRO
XXIII Congresso de Iniciação Científica da Universidade Federal de Pelotas
|
SH
Psychology (miscellaneous)
|
| 2014 |
Trabalho em evento |
Uma tradução de Gramática de Grafos Controlada para Event-B
Alex BERTEI; Simone André Da Costa CAVALHEIRO; Luciana FOSS
XXIII Congresso de Iniciação Científica da Universidade Federal de Pelotas
|
SH
Linguistics and Language
|
| 2014 |
Trabalho em evento |
ANÁLISE DA ROBUSTEZ NA CLASSE f-XOR DE CONECTIVOS FUZZY: IMPLICAÇÕES E BI-IMPLICAÇÕES
Rosana M ZANOTELLI; Renata Hax Sander REISER; Simone André Da Costa CAVALHEIRO; Luciana FOSS
XVI Encontro de Pós-Graduação da Universidade Federal de Pelotas
|
PS
Computer Science (miscellaneous)
|
| 2014 |
Trabalho em evento |
Desenvolvendo o Pensamento Computacional em Escolas de Ensino Fundamental: Relato de Atividade sobre Representação de Imagens
Rafael Dias LAGEMANN; Tainã CARVALHO; Luciana FOSS; Marilton Sanchotene De AGUIAR; Simone André Da Costa CAVALHEIRO
I Congresso de Extensão e Cultura da UFPEL
|
SH
Education
|
| 2013 |
Livro |
2nd Workshop-School on Theoretical Computer Science (WEIT 2013)
Graçaliz Pereira DIMURO; Eder GONÇALVES; Leila RIBEIRO; Luciana FOSS; Lucio Mauro DUARTE et al
—
ISBN 9781479930579
|
PS
Computer Science Applications
|
| 2013 |
Trabalho em evento |
Theorem Proving Graph Grammars: Strategies for Discharging Proof Obligations
Luiz Carlos Lemos JUNIOR; Simone André Da Costa CAVALHEIRO; Luciana FOSS
Simpósio Brasileiro de Métodos Formais
ISBN 0302-9743
|
SH
Education
|
| 2013 |
Trabalho em evento |
Towards the use of Graph Grammars for specification of Multi-Agent System Organizations
André Moura De MELLO; Luciana FOSS; Simone André Da Costa CAVALHEIRO
Simpósio Brasileiro de Métodos Formais
ISBN 2178-6097
|
PS
Artificial Intelligence
|
| 2013 |
Trabalho em evento |
Automatic Translation from UML to Simulink CAAM
Andrei COSTA; Vinicius Steffens PAZZINI; Luciana FOSS; Simone André Da Costa CAVALHEIRO; Lisane Brisolara De BRISOLARA et al
Workshop-Escola de Informática Teórica
ISBN 2236-9163
|
PS
Computational Theory and Mathematics
|
| 2013 |
Trabalho em evento |
Fuzzy f-Xor Class and dual Constructions
Rosana M ZANOTELLI; Renata Hax Sander REISER; Simone André Da Costa CAVALHEIRO; Luciana FOSS
Workshop-Escola de Informática Teórica
ISBN 2236-9163
|
PS
Theoretical Computer Science
|
| 2013 |
Trabalho em evento |
Towards the use of Proof Tactics for Theorem Proving Graph Grammars through Rodin
Luiz Carlos Lemos JUNIOR; Simone André Da Costa CAVALHEIRO; Luciana FOSS
Workshop-Escola de Informática Teórica
ISBN 2236-9163
|
PS
Computer Science (miscellaneous)
|
| 2013 |
Trabalho em evento |
Uma discussão introdutória sobre os desafios e as necessidades à implementação do Pensamento Computacional no ensino fundamental e médio no Brasil
Tainã CARVALHO; Daiane ANDRADE; Jayne SILVEIRA; Simone André Da Costa CAVALHEIRO; Marilton Sanchotene De AGUIAR et al
Workshop-Escola de Informática Teórica
ISBN 2236-9163
|
PS
Computer Science (miscellaneous)
|
| 2013 |
Trabalho em evento |
Graph Grammar Specification for the Populational Level of Multi-agent System Organizations
Mello Andre Moura DE; Luciana FOSS; Cavalheiro Simone Andre Da COSTA
2013 2nd WorkshopSchool on Theoretical Computer Science (WEIT)
DOI 10.1109/WEIT.2013.26
ISBN 9781479930579
|
PS
Computer Science (miscellaneous)
|
| 2013 |
Trabalho em evento |
Proposta de Atividades para o Desenvolvimento do Pensamento Computacional no Ensino Fundamental
Andrade DAIANE; Carvalho TAINÃ; Silveira JAYNE; Cavalheiro SIMONE; Luciana FOSS et al
XIX Workshop de Informática na Escola
DOI 10.5753/CBIE.WIE.2013.189
|
PS
Computer Science Applications
|
| 2013 |
Trabalho em evento |
TRANSFORMAÇÃO AUTOMÁTICA DE DIAGRAMAS UML PARA MODELOS SIMULINK
Andrei COSTA; Vinicius Steffens PAZZINI; Simone André Da Costa CAVALHEIRO; Lisane Brisolara De BRISOLARA; Flávio Rech WAGNER et al
XXII Congresso de Iniciação Científica da UFPEL
|
PS
Computer Science Applications
|
| 2013 |
Trabalho em evento |
DESENVOLVENDO O PENSAMENTO COMPUTACIONAL NO ENSINO FUNDAMENTAL
Daiane Focking ANDRADE; Tainã Ribeiro CARVALHO; Victor Alexandre AULER; Marilton Sanchotene De AGUIAR; Luciana FOSS et al
XXII Congresso de Iniciação Científica da UFPEL
|
PS
Computer Science Applications
|
| 2013 |
Trabalho em evento |
Ferramenta para Extração de Transações de Sistemas de Transformação de Grafos Transacionais
Erick C ESPINDULA; Tamara M Da CRUZ; Simone André Da Costa CAVALHEIRO; Luciana FOSS
XXII Congresso de Iniciação Científica da UFPEL
|
PS
Computer Science Applications
|
| 2013 |
Trabalho em evento |
PROPOSTA DE PADRÕES DE PROPRIEDADES E TÁTICAS DE PROVA PARA SISTEMAS ESPECIFICADOS EM GRAMÁTICA DE GRAFOS NA PLATAFORMA RODIN
Simone Drawanz RUTZ; Plinio Finkenauer JUNIOR; Luciana FOSS; Simone André Da Costa CAVALHEIRO
XXII Congresso de Iniciação Científica da UFPEL
|
PS
Computer Science (miscellaneous)
|
| 2013 |
Trabalho em evento |
DISCUSSÃO SOBRE OS DESAFIOS RELACIONADOS À IMPLANTAÇÃO DO PENSAMENTO COMPUTACIONAL NO ENSINO BRASILEIRO
Tainã Ribeiro CARVALHO; Daiane Focking ANDRADE; Victor Alexandre AULER; Marilton Sanchotene De AGUIAR; Luciana FOSS et al
XXII Congresso de Iniciação Científica da UFPEL
|
SH
Education
|
| 2013 |
Trabalho em evento |
GRAMÁTICA DE GRAFOS EM EVENT-B: ESTRATÉGIAS PARA DEMONSTRAR PROPRIEDADES UTILIZANDO PROVA DE TEOREMA
Luiz Carlos Lemos JUNIOR; Luciana FOSS; Simone André Da Costa CAVALHEIRO
XV Encontro de Pós-Graduação UFPEL
|
PS
Theoretical Computer Science
|
| 2013 |
Trabalho em evento |
Investigações na Classe de Conectivos Fuzzy f-Xor: Dualidade; Robustez e Implicações
Rosana M ZANOTELLI; Luciana FOSS; Simone André Da Costa CAVALHEIRO; Renata Hax Sander REISER
XV Encontro de Pós-Graduação UFPEL
|
PS
Computational Mathematics
|
| 2013 |
Trabalho em evento |
Using Graph Grammars to specify populational level of Multi-Agent System Organizations
André Moura De MELLO; Luciana FOSS; Simone André Da Costa CAVALHEIRO
Workshop de Informática na Escola
ISBN 2236-9163
|
PS
Artificial Intelligence
|
| 2013 |
Trabalho em evento |
Towards the Use and Description of Proof Tactics for Theorem Proving Graph Grammars through Rodin
Junior Luiz Carlos LEMOS; Cavalheiro Simone Andre Da COSTA; Luciana FOSS
2013 2nd WorkshopSchool on Theoretical Computer Science (WEIT)
DOI 10.1109/WEIT.2013.24
ISBN 9781479930579
|
SH
Education
|
| 2013 |
Trabalho em evento |
Automatic Translation from UML to Simulink CAAM Using Graph Grammars
Costa ANDREI; Pazzini VINICIUS; Luciana FOSS; Cavalheiro Simone Andre Da COSTA; Brisolara Lisane Brisolara DE et al
2013 2nd WorkshopSchool on Theoretical Computer Science (WEIT)
DOI 10.1109/WEIT.2013.20
ISBN 9781479930579
|
PS
Artificial Intelligence
|