Managing assumptions during agile development. - Ireo Ostacchini; Michel Wermelinger (SHARK@ICSE, 2009)