Lectures related to Untitled | EPFL Graph Search

From Tests to Proof

Explores software engineering concepts, emphasizing the significance of tests and clear specifications in ensuring software correctness.

Software Testing: Avoiding and Fixing Bugs

Emphasizes the critical role of software testing in preventing and resolving bugs during development.

Software Development: Life Cycle & Methodologies

Explores the software development life cycle, methodologies, tech choices, agile practices, and common tech industry terms.

Programming Bugs: Understanding, Fixing, and Preventing

Explores programming challenges, debugging techniques, software testing, and security practices in software development.

Property-Based Testing: Advanced Techniques

Explores advanced software testing techniques, including property-based testing, to ensure code correctness and improve software quality.

Probability Theory: Integration and Convergence

Covers topics in probability theory, focusing on uniform integrability and convergence theorems.

Software Quality: Managing Defects and Testing Strategies Log in to Mediaspace to watch this video

Explores managing defects, testing strategies, and challenges in software quality, with real-world examples and case studies.

Software Engineering Essentials Log in to Mediaspace to watch this video

Covers software engineering essentials, emphasizing requirements, modularity, and abstraction, with practical insights and examples.

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.

Software Development Processes: Agile Methods Log in to Mediaspace to watch this video

Explores software development processes, comparing Waterfall model with Agile methods, focusing on Scrum, values, principles, and team roles.

Concept Selection and Tradespace Exploration Log in to Mediaspace to watch this video

Explores concept selection, Pugh Matrix method, preliminary design reviews, system integration, and verification in systems engineering.

Water Protection: Surface and Groundwater Log in to Mediaspace to watch this video

Explores the legal and practical aspects of safeguarding surface and groundwater, emphasizing sustainable water management practices.

Water Treatment Technologies Log in to Mediaspace to watch this video

Explores water treatment technologies to ensure safe drinking water quality.

Software Quality: Stop Worrying, Love the Tests Log in to Mediaspace to watch this video

Explores software quality, defect management, testing importance, and real-world examples of bug impacts.

Mechanical and Biological Treatments Log in to Mediaspace to watch this video

Explores water and waste treatment through mechanical and biological methods, focusing on composting and anaerobic digestion processes.

Requirements Definition Log in to Mediaspace to watch this video

Explores the fundamentals of requirements definition in systems engineering, emphasizing the importance of clear and concise requirements for successful system design.

Project Management: Portfolio Management Log in to Mediaspace to watch this video

Focuses on project planning, execution, and key user involvement for effective project management.

Advanced Physics I: Orders of Magnitude Log in to Mediaspace to watch this video

Explores the triumph of determinism in modern mechanics and the methodology of scientific development, with practical exercises on estimating surgical mask usage and analyzing atomic bomb energy.

Additive Manufacturing: Space Mechanisms Log in to Mediaspace to watch this video

Explores additive manufacturing for space mechanisms, covering 3D printing technologies, materials, design rules, and applications in space.

MATLAB Tools: Installation and Requirements Log in to Mediaspace to watch this video

Covers the installation of pre-requirements for MATLAB tools and introduces Thermodynamics-based Flux Analysis packages.