E-LIB Suche - Ergebnisse für: Cavalheiro, Simone André da Costa - Sprache DE

Personensuche X

Sortierung: Relevanz

Sortierung: Jahr

1

The Brazilian School Computing Standard:

, In: Proceedings of the 54th ACM Technical Symposium on Computer Science Education V. 1,

Ribeiro, Leila ; Foss, Luciana ; Cavalheiro, Simone André Da Costa.. - p. 53-58 , 2023

Link: https://dl.acm.org/doi/1..

2

Jogo de RPG para o Desenvolvimento de Habilidades do Pensam..:

Gonçalves, Bruno Cabreira ; Soares, João Eduardo Seffrin ; Oliveira, Placida...
Revista Brasileira de Informática na Educação. 30 (2022) - p. 262-291 , 2022

Link: https://doi.org/10.5753/..

3

Theorem proving graph grammars with attributes and negative..:

Cavalheiro, Simone André da Costa ; Foss, Luciana ; Ribeiro, Leila
Theoretical Computer Science. 686 (2017) - p. 25-77 , 2017

Link: https://doi.org/10.1016/..

4

Proof Tactics for Theorem ProvingGraphGrammars through Rodi:

Lemor Jr., Luiz Carlos ; Cavalheiro, Simone André da Costa ; Foss, Luciana
Revista de Informática Teórica e Aplicada. 22 (2015) 1 - p. 190 , 2015

Link: https://doi.org/10.22456..

5

From UML to SIMULINK CAAM: Formal Specification and Transfo..:

Foss, Luciana ; Cavalheiro, Simone André da Costa ; Bisi, Nícolas Nogueira...
Revista de Informática Teórica e Aplicada. 20 (2013) 1 - p. 102 , 2013

Link: https://doi.org/10.22456..

6

A Graph Grammar to Transform a Dataflow Graph into a Multit..:

Camargo, Cícero Augusto de S. ; Cavalheiro, Simone André da Costa ; Foss, Luciana.
Revista de Informática Teórica e Aplicada. 20 (2013) 1 - p. 140 , 2013

Link: https://doi.org/10.22456..

7

Pensamento Computacional: Fundamentos e Integração na Educa..:

Ribeiro, Leila ; Foss, Luciana ; Cavalheiro, Simone André da Costa
http://ojs.sector3.com.br/index.php/pie/article/view/8699/6260. , 2019

Link: http://ojs.sector3.com.b..

8

"The Last Tree", exercising the Computational Thinking thro..:

Silva Junior, Braz Araujo da ; Cavalheiro, Simone André da Costa ; Foss, Luciana
https://periodicos.univali.br/index.php/IJCThink/article/view/12419/7831. , 2018

Link: https://periodicos.univa..

9

Entendendo o Pensamento Computacional:

Ribeiro, Leila ; Foss, Luciana ; Cavalheiro, Simone André da Costa
http://arxiv.org/abs/1707.00338. , 2017

Link: http://arxiv.org/abs/170..

10

From UML to Simulink CAAM : formal specification and transf..:

Foss, Luciana ; Cavalheiro, Simone André da Costa ; Brisolara, Lisane Brisolara de...
Revista de informática teórica e aplicada. Porto Alegre. Vol. 20, n. 1 (2013), p. 102-139. , 2013

Link: http://hdl.handle.net/10..

11

Relational approach of graph grammars ; Abordagem relaciona..:

Cavalheiro, Simone André da Costa , 2010

Link: http://hdl.handle.net/10..

12

Relational approach of graph grammars ; Abordagem relaciona..:

Cavalheiro, Simone André da Costa
http://hdl.handle.net/10183/25516. , 2010

Link: http://hdl.handle.net/10..

13

Formal Specification in Basic Education: What Does It Take?:

, In: 2023 IEEE Frontiers in Education Conference (FIE),

da Silva Junior, Braz Araujo ; da Costa Cavalheiro, Simone Andre ; Foss, Luciana. - p. 1-9 , 2023

Link: https://doi.org/10.1109/..

14

Pensamento Computacional:

Ferreira, Carlos Eduardo ; Ribeiro, Leila ; Cavalheiro, Simone André Costa
Computação Brasil. , 2019

Link: https://doi.org/10.5753/..

15

Translating Controlled Graph Grammars to Ordinary Graph Gra..:

Bertei, Alex ; Foss, Luciana ; da Costa Cavalheiro, Simone A.
Electronic Notes in Theoretical Computer Science. 324 (2016) - p. 15-30 , 2016

Link: https://doi.org/10.1016/..

1-15