Toggle navigation
IT University of Copenhagen
Explore
Study
Research
Events
Life at ITU
Lectures
Live
Upload
Lectures
HSE #1: Hardcore Software Engineering
933 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.
HSE #1: Hardcore Software Engineering
0
Share
URL to share
RELATED VIDEOS
17:59
Lectures
HSE #3: Effectively Using Formal Methods
880 views
August 23, 2011
Hardcore Software Engineering Joseph Kiniry...
18:22
Lectures
HSE #2: Example Projects
462 views
August 23, 2011
Hardcore Software Engineering Joseph Kiniry...
23:30
Lectures
HSE #21: Using Verification Effectively
620 views
February 06, 2015
Hardcore Software Engineering Joseph Kiniry...
22:26
Lectures
HSE #20: Model Checking
714 views
February 06, 2015
Hardcore Software Engineering Joseph Kiniry...