Lectures related to From Tests to Proof

Enterprise and Service-Oriented Architecture: Solutions for Business IT Alignment

Explores solutions for business IT alignment through enterprise and service-oriented architecture.

Testing Strategies: Code Coverage and Quality

Covers testing strategies, emphasizing code coverage and quality in software development through various testing methodologies and practical examples.

IT Solutions for Business Alignment

Covers solutions for aligning business and IT through information modeling, RFP/RFT, and low-code platforms.

Scenarios and Requirements

Delves into the significance of scenarios and requirements in design, emphasizing storytelling for design solutions.

Internship Insights: Enhancing Code Generation with LLMs

Details an internship project focused on improving code generation accuracy using large language models and a new framework called EPIGEN.

Scenarios and Requirements

Explains design scenarios, requirements, and a wine recommendation case study.

Introductory Concepts: Statistics and Engineering Development

Covers statistics basics, engineering roles, and development cycles with practical examples.