Lectures
Get inspired by lectures on various topics presented by affiliated professors and guests
Lectures
Data Management #3: SQL Queries
Exam advise and support with Philippe Bonnet: discussing excercise 5.17.
Lectures
Data Management #2: Relational Algebra
Exam advise and support with Philippe Bonnet: discussing excercise 6.10.
Lectures
Data Management #1: Functional Dependencies
Exam advise and support with Philippe Bonnet: discussing excercise 6.29.
Lectures
HSE #1: Hardcore Software Engineering
Hardcore Software Engineering with Joseph Kiniry. Podcast about Verification-centric Software...
Lectures
HSE #2: Example Projects
Hardcore Software Engineering Joseph Kiniry talks about Background, BON, and Analysis - "Example...
Lectures
HSE #3: Effectively Using Formal Methods
Hardcore Software Engineering Joseph Kiniry talks about Background, BON, and Analysis -...
Lectures
HSE #4: BON: The Business Object Notation
Hardcore Software Engineering Joseph Kiniry talks about Background, BON, and Analysis - "BON: The...
Lectures
HSE #5: Dependable Systems Analysis
Hardcore Software Engineering Joseph Kiniry talks about Background, BON, and Analysis -...
Lectures
HSE #6: Assertions and Specifications
Joseph Kiniry talks about Specifications - "Assertions and Specifications"