Main Menu

ICSE 2011


SCORE 2011 Projects

This page lists all available projects for the SCORE contest. For each project, a document describes the content of the work to be done, a person in the program committee who will be the contact person for teams developing the project, and possibly some organizational issues concerning the project, such as the expected frequency of interaction between teams and contact person, the maximum number of teams that will be allowed to work on the project, etc.

A few additional remarks that apply to all project descriptions:

  • The products listed as deliverables in the various project descriptions are meant to be submitted in what is called Final deliverable in SCORE's Call for Participation. Initially teams submit a summary report for the first round of reviews. A subset of teams will be invited to submit these final deliverables to the program committee, although all teams may summarize them in the summary report.
  • Formal Methods Europe will award a special recognition for the use of formal methods in project developments. Although some projects might benefit more than others from the use of formal methods, the award is open to any team that uses formal methods, regardless of the project.

Registration Procedure

Teams will register by sending an email to score-2011-register with subject "[score 2011] registration" containing the following information:

  • The title of the chosen project (from the list below);
  • A list of all team members; for each team member specify:
    • name,
    • email address,
    • institution,
    • undegraduate/master's student;
  • One team member with the role of reference contact person;
  • Optionally, if the project is being performed in conjunction with an academic course, then the name of the course, and the name and email of the course instructor. The course instructor must be made aware that students are participating in SCORE, and the SCORE committee may cc the instructor in certain communications.

Project Titles

Click on a project title to access the documentation for the project. 

QR Marks the Spot

We challenge project teams to create location-based games that blend real and virtual worlds into a single, gaming world. Such location-based games shall be hosted on a web-based system that offers a public environment allowing users to create games of various types (based on offered templates), and play them in the "real world" amended with QR codes. Using mobile devices equipped with QR readers, players move and act in the real world, trying to achieve goals and successfully finish games, while the game scenario is controlled in the "virtual world", by the game server and chosen game scenario.

MyCourses - A Course Scheduling System

The program MyCourses provides as optimal as possible a plan for scheduling courses. Every university is faced each year with the same problem: How to schedule a large number of courses in an optimal way while fulfilling a number of constraints, such as available lecture rooms, limited availability of lecturers, students' selections of the courses, and similar. MyCourses should be implemented as an interactive program that (i) enables entering data, such as courses, the faculty members, the available facilities and some constraints related to the course scheduling, (ii) calculates and proposes a scheduling for courses, (iii) makes it possible to manually update the proposed schedule, but keeping track of the consistent scheduling, and (iv) provides a presentation of scheduled courses.

Transport4You: an Intelligent Public Transportation Manager

One of the key challenges faced nowadays by public transportation authorities is to offer personalized services to citizens. This requires the new Information and Communication Technologies (ICT) to be massively exploited. The goal of this project is to develop some of the core features of a system that can help a Metropolitan Transportation Authority improve the service offered to citizens.
At its core, the system should offer the following basic functionalities:

  • allow a citizen to register into the system and pre-pay for a certain number of trips;
  • recognize when a registered citizen gets on a bus and determine the journey he/she performs, calculating the fare he/she has to pay, and detracting it from his/her credit;
  • when the citizen's credit is finished, allow him/her to pay the bus fare through the cell phone;
  • provide registered citizens with information about changes in the lines they use most frequently.

Possibly, the system should be able to offer suggestions to registered citizens for alternative paths, for example because it determines that there are routes that are more optimized than the ones they usually take, or because there is a problem on some line that affects their intended path.

Mass Observation (MOb)

The Mass Observation (MOb) project will support the study of a question or issue through in-situ observations by a collection of people. Observations will be made using consumer devices that support mobile applications. For many student teams, the most readily available mobile device will be the Android OS running on an emulator for lab testing and a cell-phone for field testing. However, Android alternatives are clearly possible, e.g., iPhone, Blackberry, Smartphone.
There are three components of the desired system. First, there must be a means for a person (the Initiator) to enter a study question (the observation event) and to make it available to a set of people (the observers). The Initiator has the ability to choose the group by name/email, by region, or by other discernible attributes (or even by direct permission). Second, there must be a means for observers to observe. This may include answering questions (posed by the Initiator), making notes, taking pictures, providing audio commentary. Third, there must be a means of collecting observations and making them available for analysis and viewing. The Initiator may choose to make observations public (perhaps anonymously), or to summarize the collection of observations. Or to simply use the data privately.

Multi-platform Kanban Taskboard

This project is now filled to capacity and is not available for additional registrations.

The aim of the project is to design and implement a functional prototype for visualizing and operating a multi-platform virtual "Kanban Taskboard". Kanban (see is an agile methodology for visualizing, managing and optimizing the flow of software requirements for a given application and for distributing the associated work among the development team. Kanban methodology should be used by the team itself for the Kanban Taskboard development. The project should focus on interfaces and algorithms (not on technologies).

Building a Public Transportation System Product Line

Participants will create a product line that can be instantiated for any public transportation system (busses, underground trains etc.) to manage routes, runs, schedules, etc. They will do this using model-driven development and the Umple language to the largest extent possible. The main purposes of the project are to explore the requirements of such systems and how they can all be embodied in one project line, as well as to exercise the Umple language and tools.

Computer Training for Visually Impaired Automation Tool

The aim of this project is to design and implement a tool that automate the evaluation of visually impaired students undergoing basic computer training at an NGO called Enable India. At Enable India, each visually impaired trainee undergoes a series of teaching sessions on packages such as Word, Excel etc. This is followed by exercises that test the expertise of trainees on each module. Each test consists of a set of questions followed by a series of tasks that the trainee must perform on the computer. As of today, trainers spend a considerable amount of time and energy correcting these exercises manually. The accuracy of the corrections can also be affected due to the level of manual intervention involved. The goal of the project is make the process more efficient both with respect to time and the accuracy. The automation tool should allow the creation of the question bank of exercises and let the admin choose the questions from the pool for candidates and design specific question papers. The application must monitor the actions of the trainees during the test and at the end of the test, should come up with an evaluation of how well the trainee has performed.

Schematizing Maps

Most geographic maps we use are designed to be fairly accurate with respect to distances and line or path orientation; they are drawn “to scale”, with a uniform scale used throughout. However, there is another important class of (geographic) maps in which uniform scale is sacrificed for readability. The most famous of these is the "tube map" of the London underground rail system, whose “schematic” style was introduced by Harry Beck in 1931. Today the schematic style is widely used, but not well-supported by map-making tools. The purpose of this project is to aid others in producing schematic maps.