Toggle navigation
IT University of Copenhagen
Explore
Study
Research
Events
Life at ITU
Lectures
Live
Upload
Lectures
HSE #7: Contracts and Specifications in BON and JML
180 views
bon
,
hardcore software engineering
,
java
,
kiniry
,
lecture
Joseph Kiniry talks about Specifications - "Contracts and Specifications in BON and JML"
HSE #7: Contracts and Specifications in BON and JML
0
Share
URL to share
RELATED VIDEOS
23:30
Lectures
HSE #21: Using Verification Effectively
631 views
February 06, 2015
Hardcore Software Engineering Joseph Kiniry...
22:26
Lectures
HSE #20: Model Checking
726 views
February 06, 2015
Hardcore Software Engineering Joseph Kiniry...
38:20
Lectures
HSE #19: Details of a Verification Tool
443 views
February 06, 2015
Hardcore Software Engineering Joseph Kiniry...
21:05
Lectures
HSE #18: Kinds of Verification
443 views
February 06, 2015
Hardcore Software Engineering Joseph Kiniry...