The Student Contest in Software Engineering (SCORE) is a novel initiative that took place as part of the 31st International Conference on Software Engineering (ICSE 2009).
SCORE is a worldwide competition that is targeted to students at the undergraduate and master’s level. It emphasizes the engineering aspects of software development, as opposed to a narrower view that tends to reduce the endeavor to programming.
Student teams participating in the contest have been able to choose from a number of project topics proposed by the SCORE Program Committee, which cover diverse application fields and types, both industrial and academic.
Every project topic had one or more reference persons (stakeholders) in the SCORE Program Committee, to whom questions regarding the desired outcome of the project could be addressed.
To enhance synergies and cooperation between the SW engineering and the FM communities, the organizers of SCORE proposed to FME to sponsor the initiative. The sponsorship was accepted by the FME board and was implemented as a special award for the team that in its project exploited at best Formal Methods.
The finals took place during ICSE 09 at Vancouver. ICSE 09, with the financial contribution of FME’ sponsorship supported travel expenses of one participant per team; free registration was also granted to all team members attending to ICSE.
At the finals the FM award was won by a team from Politecnico die Milano, Italy: Valerio Panzica La Manna, Andrea Tommaso Bonanno, and Alfredo Motta (students at Politecnico di Milano in Italy) who worked on the project A Simple Pacemaker Implementation. Congratulations!
*The Score winners of the FM Trophy with PC member and former FME secretary Nico Plat (3rd from left)*
*The Trophy representing the Formal Methods Award*
*The winners in front of their poster display*
*The winners with the Score organizers*