A5101471816- Model-Driven Software Engineering Techniques
- Formal Methods in Verification
- Software Testing and Debugging Techniques
- Advanced Software Engineering Methodologies
- Semantic Web and Ontologies
- Logic, programming, and type systems
- Software Engineering Research
- Service-Oriented Architecture and Web Services
- Distributed systems and fault tolerance
- Embedded Systems Design Techniques
- Petri Nets in System Modeling
- Advanced Database Systems and Queries
- Teaching and Learning Programming
- Business Process Modeling and Analysis
- Software Engineering Techniques and Practices
- Education and Digital Technologies
- Microbial Metabolic Engineering and Bioproduction
- Academic Research in Diverse Fields
- Education Pedagogy and Practices
- Safety Systems Engineering in Autonomy
- Algorithms and Data Compression
- Graph Theory and Algorithms
- Natural Language Processing Techniques
- Mobile Agent-Based Network Management
- DNA and Biological Computing
Universidade Federal do Rio Grande do Sul
2015-2024
Queen's University
2022
University of Pisa
2022
École Normale Supérieure de Lyon
2022
Centre National de la Recherche Scientifique
2022
University of Leicester
2022
University of Gothenburg
2022
Hasso Plattner Institute
2022
University of Potsdam
2022
Western Norway University of Applied Sciences
2022
Formal Methods (FMs) radically improve the quality of code artefacts they help to produce. They are simple, probably accessible first-year undergraduate students and certainly second-year beyond. Nevertheless, in many cases, not part a general recommendation for course curricula, i.e., taught — yet valuable. One reason this is that teaching “Formal Methods” often confused with logic theory. This article advocates what we call FM thinking : application ideas from applied informal,...
The concept of algebraic high-level net transformation systems combines two important lines research recently introduced in the literature: nets (AHL-nets for short) and replacement (HLR-systems short). In both cases a categorical formulation corresponding theory has turned out to be highly is also good basis integration these concepts this paper. AHL-nets combine Petri with specifications provide powerful specification technique distributed including data types processes. HLR-systems are...
The goal of this article is to clarify the meaning Computational Thinking. We differentiate logical from computational reasoning and discuss importance Thinking in solving problems. three pillars - Abstraction, Automation Analysis are outlined, highlighting role each one developing skills needed for problem-solving process. ----- O objetivo deste artigo é esclarecer o significado de Pensamento Computacional. Diferencia-se raciocínio lógico do computacional e discute-se a importância...
In the last decade many countries have introduced Computing in school curricula, most including at least basic concepts as mandatory topics. 2017/2018 a new National Standard for School Curricula was approved Brazil, but foundations were not included. 2022 Brazilian Education Council an appendix to standard containing guidelines regarding which define abilities that must be developed all schools Brazil from pre-school high school. These ratified by Ministry of and implementation should start...
The aim of this paper is to discuss the importance computational thinking and how include techniques teach kind ability in schools Brazil. First, we what Computational Thinking teaching such skill school. Then, list some challenges that are involved introducing discipline school curricula.
Computação é fundamental na formação do cidadão século XXI e, portanto, deve fazer parte dos currículos escolares. No Brasil as resoluções que instituem a Base Nacional Comum Curricular (BNCC) já previam o Conselho de Educação (CNE) elaboraria normas para ensino Básica (EB), quais foram aprovadas pelo CNE em fevereiro 2022. Introduzir nos todas redes escolares um grande desafio. Neste contexto, este trabalho apresenta uma proposta implantação das referidas normas, da Infantil ao Ensino...
Motivation : Enrollments in Brazilian computing degrees are at an all-time high, but graduation numbers have not increased the same rate. Moreover, enrollment growth has mainly attracted male students, steadily expanding gender gap programs. Such high attrition rates a great economic impact and may disproportionately affect women students of color. Previous works investigated reasons for student drop-out retention specific courses or barriers to entrance programs narrower contexts single...
Object-Based Graph Grammars (OBGG) is a formal language suitable for the specification of distributed systems. On previous work, translation from OBGG models to PROMELA (the input SPIN model checker) was defined, enabling verification using SPIN. This paper builds on these results, where we extend approach property and define an interpret traces as derivations, generating graphical counter-examples properties that are not true model.