Write a Blog >>
SPLASH 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
Mon 23 Oct 2017 14:30 - 15:00 at Windsor - Talks Session 2

Mon 23 Oct
Times are displayed in time zone: Tijuana, Baja California change

13:30 - 15:00: Talks Session 2NOOL at Windsor
13:30 - 14:00
Talk
Integrating Debugging with Continuous Testing
NOOL
Malcolm Stone, Roly PereraUniversity of Edinburgh, UK / University of Glasgow, UK
14:00 - 14:30
Talk
Algool – Object-Orientation with Algebraic Specification
NOOL
Anya Helene BaggeUniversity of Bergen
14:30 - 15:00
Talk
Usably Expressing and Enforcing Design in Wyvern
NOOL
Jonathan AldrichCarnegie Mellon University, Alex PotaninVictoria University of Wellington