2517621

Model-by-numbers: An interactive educational tool for software models.

This project aims to serve the national interest by improving curricula in undergraduate computing education.

The project will implement an innovative, interactive education tool, Model-by-Numbers, that will introduce and develop in students the skills needed to model their software for verification.

Software models can be used to guarantee that software systems are correct by defining expected behavior purely in mathematical logic terms and testing against that.

However, due to the rigorous abstraction involved, there is a steep learning curve for software modeling languages, and as a result, these languages are typically not included in the undergraduate computer science curriculum.

This Level 1 engaged student learning project will help cultivate a strong software modeling foundation in undergraduate students, enabling them to go on to learn advanced modeling languages more easily and enter the workforce with the knowledge needed to develop higher quality software.

Model-by-Numbers will introduce students to the Alloy modeling language, providing three different types of exercises designed to gradually get students comfortable expressing system properties as abstract Alloy formulas.

Model-by-Numbers will leverage the structure of the Alloy language itself to generate high quality contextual feedback in real time and automatically generate practice exercises at three levels of difficulty.

The project will study the effectiveness of Model-by-Numbers on skill development and the impact Model-by-Numbers has on the perception of learning modeling languages.

The NSF IUSE: EDU program supports research and development projects that improve the effectiveness of STEM education for all students.

Through the engaged student learning track, the program supports the creation, exploration, and implementation of promising practices and tools.

This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the foundation's intellectual merit and broader impacts review criteria.

Subawards are not planned for this award.

University Of Texas At Arlington

THE GOAL OF THIS FUNDING OPPORTUNITY, "IMPROVING UNDERGRADUATE STEM EDUCATION: DIRECTORATE FOR STEM EDUCATION", IS IDENTIFIED IN THE LINK: HTTPS://WWW.NSF.GOV/PUBLICATIONS/PUB_SUMM.JSP?ODS_KEY=NSF23510

47.076 - Education and Human Resources

Division of Undergraduate Education (DUE) [NSF]

Arlington, Texas 76019-9800 United States

Single Zip Code

Improving Undergraduate STEM Education: Directorate for STEM Education (23-510)