Skip to content
Impress Project
  • About
  • The Consortium
  • Structure
  • Presentations and publications
  • News
  • Contact
  • Results
    • Code Defenders
    • FormalZ
    • Quiz Repository
    • Storytelling
    • Analytics
  • Toggle website search
Press Escape to close the search panel.
Menu Close
  • About
  • The Consortium
  • Structure
  • Presentations and publications
  • News
  • Contact
  • Results
    • Code Defenders
    • FormalZ
    • Quiz Repository
    • Storytelling
    • Analytics
  • Toggle website search
Search this website

IMPRESS Analytics wrap-up

  • Post author:Ivan Martinez Ortiz
  • Post published: December 12, 2020
  • Post category:News
  • Post comments:0 Comments

Analytics has been a key concern of the IMPRESS project since its inception. During the first and second years of the project, we settled the foundations needed to provide a…

Continue ReadingIMPRESS Analytics wrap-up

FormalZ, Analytics and validation with SIMVA

  • Post author:Ivan Martinez Ortiz
  • Post published: December 12, 2020
  • Post category:News
  • Post comments:0 Comments

The main aspects of analytics on which we focused during Y3 were: Improve the stability and facilitate the deployment of the project’s results. Create a tool to help with the…

Continue ReadingFormalZ, Analytics and validation with SIMVA

Best paper award for SIMVA and FormalZ paper at Virtual Campus

  • Post author:Ivan Martinez Ortiz
  • Post published: December 5, 2020
  • Post category:News
  • Post comments:0 Comments

We have presented at Virtual Campus Conference 2020 a paper about the integration of SIMVA and FormalZ. The key takeaway of this integration it is that instead of just integrate them…

Continue ReadingBest paper award for SIMVA and FormalZ paper at Virtual Campus

SIMVA and FormalZ updates

  • Post author:Ivan Martinez Ortiz
  • Post published: November 20, 2020
  • Post category:News
  • Post comments:0 Comments

SIMVA presentation in the e-Madrid Network Last couple of weeks have been hectic for us. e-UCM has presented at the e-Madrid online seminar "Learning Analytics and Serious Games" to more…

Continue ReadingSIMVA and FormalZ updates

Wrap up of the IMPRESS project! Goals and achievements.

  • Post author:Tanja Vos
  • Post published: November 11, 2020
  • Post category:News
  • Post comments:0 Comments

https://twitter.com/imartinezortiz/status/1326572470829256704?s=20

Continue ReadingWrap up of the IMPRESS project! Goals and achievements.

FormalZ presentation at CSEET 2020 ONLINE

  • Post author:Tanja Vos
  • Post published: November 11, 2020
  • Post category:News
  • Post comments:0 Comments

https://twitter.com/projectIMPRESS/status/1326574680476688384?s=20

Continue ReadingFormalZ presentation at CSEET 2020 ONLINE

Using a quiz in education increases students motivation and engagement.

  • Post author:Rui Prada
  • Post published: November 6, 2020
  • Post category:News
  • Post comments:0 Comments

The IMPRESS projects has worked on a systematic mapping that selected  and studied the most relevant studies on the use of quizzes in education. We found that students engagement and…

Continue ReadingUsing a quiz in education increases students motivation and engagement.

Codedefenders presented at TestED @ ICTS2020 online edition

  • Post author:Tanja Vos
  • Post published: October 28, 2020
  • Post category:Events/News
  • Post comments:0 Comments

Code Defenders is a game that aims to engage students with software testing. Players compete over a Java class under test by producing tests and mutants, i.e., artificial faults, scoring…

Continue ReadingCodedefenders presented at TestED @ ICTS2020 online edition

IMPRESS final event @CSEET2020, the 11th of November 2020

  • Post author:Rui Prada
  • Post published: October 25, 2020
  • Post category:News
  • Post comments:0 Comments

We will present all the results from the IMPRESS project during the final multiplier event at the CSEET conference on the 11th of November 2020 ONLINE. https://youtu.be/b3FRTKEIQbw

Continue ReadingIMPRESS final event @CSEET2020, the 11th of November 2020

FormalZ and CodeDefenders presented at TestEd@ICST2020, 28 Oct 2020.

  • Post author:Tanja Vos
  • Post published: October 7, 2020
  • Post category:Events/News
  • Post comments:0 Comments

At 14:30, Wishnu Prasetya, Craig Leek, Roan Oosenbrug, Petar Kostic, Mike de Vries will present "Can Learning Formal Specification Be Fun? - Experience and Perspective" 16:15 - At 16:30, Gordon…

Continue ReadingFormalZ and CodeDefenders presented at TestEd@ICST2020, 28 Oct 2020.
  • 1
  • 2
  • 3
  • 4
  • Go to the next page
  • Opens in a new tab
  • Opens in a new tab