Work

Work in Progress: ESPECIFICA++, a DSL for Developing the Competency of Formal Specification in Computer Programming Education

Year: 2025

Type: conference-paper

DOI: 10.1109/edunine62377.2025.10981333

Authors: José-Luis Sierra-Rodríguez, Mercedes Gómez-Albarrán, Ana-María González-de-Miguel, Marta López-Fernández, Antonio Sarasa-Cabezuelo

Institution: Universidad Complutense de Madrid

Language: English

Topic: Teaching and Learning Programming

Subfield: Computer Science Applications

Field: Computer Science

Domain: Physical Sciences

SDG: Quality education

Open Access status: closed

OpenAlex ID: W4410087406

FWCI:

Cites: 11

Cited by:

Related to: 10