Lectures

HSE #1: Hardcore Software Engineering

912 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

860 views August 23, 2011

Hardcore Software Engineering Joseph Kiniry...

18:22
Lectures

HSE #2: Example Projects

451 views August 23, 2011

Hardcore Software Engineering Joseph Kiniry...

23:30
Lectures

HSE #21: Using Verification Effectively

609 views February 06, 2015

Hardcore Software Engineering Joseph Kiniry...

22:26
Lectures

HSE #20: Model Checking

697 views February 06, 2015

Hardcore Software Engineering Joseph Kiniry...