Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Specification language

Related lectures (28)

Finite State Machines (FSMs)Log in to Mediaspace to watch this video

Explores Finite State Machines (FSMs) in digital system design, covering Mealy and Moore FSMs, state diagrams, VHDL implementation, and state encoding.

Software Correctness: Testing and Verification Log in to Mediaspace to watch this video

Explores software correctness through testing, verification, property-based fuzzing, and dynamic information flow control.

From Tests to Proof Log in to Mediaspace to watch this video

Explores the shift from software testing to formal specifications, highlighting the significance of clear requirements in software engineering.

Hedonic Pricing Method: Housing and Environmental Goods Log in to Mediaspace to watch this video

Covers the Hedonic Pricing Method for assessing implicit prices of goods and introduces the Contingent Valuation Method for estimating environmental goods' value.

Error Management in LabVIEW Log in to Mediaspace to watch this video

Emphasizes error management in LabVIEW, source file analysis, and program execution with Xcode.

Property-Based Testing: QuickChick Log in to Mediaspace to watch this video

Explores property-based testing using QuickChick, focusing on software correctness, specifications, and dynamic information flow control.

Linear Regression: Multicollinearity, Outliers, Model Specification Log in to Mediaspace to watch this video

Covers multicollinearity, outliers, model specification, and practical strategies in linear regression.

Data Abstraction: Modules and Specifications in Coq Log in to Mediaspace to watch this video

Discusses data abstraction in programming, focusing on modules and specifications in Coq.