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

Mon 23 Oct

Displayed time zone: Tijuana, Baja California change

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