Lectures

HSE #1: Hardcore Software Engineering

906 views
bon, hardcore software engineering, jml, system, tools, validation
Hardcore Software Engineering with Joseph Kiniry.

Podcast about Verification-centric Software Development
 in Java with BON, JML, and ESC/Java2.

RELATED VIDEOS

17:59
Lectures

HSE #3: Effectively Using Formal Methods

853 views August 23, 2011

Hardcore Software Engineering Joseph Kiniry...

18:22
Lectures

HSE #2: Example Projects

448 views August 23, 2011

Hardcore Software Engineering Joseph Kiniry...

23:30
Lectures

HSE #21: Using Verification Effectively

607 views February 06, 2015

Hardcore Software Engineering Joseph Kiniry...

22:26
Lectures

HSE #20: Model Checking

676 views February 06, 2015

Hardcore Software Engineering Joseph Kiniry...