Work

Problem-solving Systematization: Introducing Formal Methods in Basic Education

Year: 2023

Type: conference-paper

Abstract: Widely employed within critical systems, Formal Methods for specification and verification have gained significance in a world where computer systems continue to expand in scale. Teaching Formal Methods at the higher education level has long been accompanied by well documented challenges. However, since it is often considered an advanced subject within software engineering, it is rarely included in basic education. Targeting this unconventional audience, this paper explores a new approach to formal specification based on the systematization of problem-solving. An example of recursion elimination is presented.

DOI: 10.5753/weit.2023.26599

Authors: Júlia Veiga da Silva, Braz Araujo da Silva Junior, Luciana Foss, Simone André da Costa Cavalheiro

Institution: Universidade Federal de Pelotas

Language: English

Topic: Teaching and Learning Programming

Subfield: Computer Science Applications

Field: Computer Science

Domain: Physical Sciences

SDG: Quality education

Open Access status: gold

OpenAlex ID: W4390679251

FWCI:

Cites: 8

Cited by:

Related to: 10