Usably Expressing and Enforcing Design in Wyvern (NOOL 2017) - SPLASH 2017

Write a Blog >>

Sun 22 - Fri 27 October 2017 Vancouver, Canada

Who

Jonathan Aldrich, Alex Potanin

Track

Time Zone

The program is currently displayed in (GMT-07:00) Tijuana, Baja California.

Use conference time zone: (GMT-07:00) Tijuana, Baja CaliforniaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

Mon 23 Oct 2017 14:30 - 15:00 at Windsor - Talks Session 2

Jonathan Aldrich

Carnegie Mellon University

United States

Alex Potanin

Victoria University of Wellington

New Zealand

Time Zone

The program is currently displayed in (GMT-07:00) Tijuana, Baja California.

Use conference time zone: (GMT-07:00) Tijuana, Baja CaliforniaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

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