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.

Business-IT Alignment: Requirements Management & RPA

Covers business/IT alignment, requirements management, and an introduction to Robotic Process Automation.

Scenarios and Requirements

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

IT Solutions for Business Alignment

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

Introductory Concepts: Statistics and Engineering Development

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

Software Engineering Fundamentals

Introduces the fundamentals of software engineering, covering instruction processing, algorithms, programming languages, abstractions, testing, security, and open source.