Skip to main content
Graph
Search
fr
|
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Practice
Publications
Startups
Units
Show all results for
Home
Lecture
Performance: Software Engineering
Graph Chatbot
Related lectures (31)
Previous
Page 2 of 4
Next
Programming Bugs: Understanding, Fixing, and Preventing
Explores programming challenges, debugging techniques, software testing, and security practices in software development.
Untitled
Introduction to Proof Scripting: Basics of Ltac
Introduces the basics of proof scripting in Coq, focusing on the Ltac language and its tactics for managing proofs effectively.
Testing Strategies: Code Coverage and Quality
Covers testing strategies, emphasizing code coverage and quality in software development through various testing methodologies and practical examples.
Linear Programming Exercise
Covers exercises related to linear programming, focusing on solving optimization problems.
Dose Management in Electron Microscopy
Explores the challenges and solutions for managing electron dose in microscopy, emphasizing the importance of accurate dose tracking and analysis.
Programming for Engineers: Advanced MATLAB Techniques
Explores advanced MATLAB techniques, emphasizing vectorization, 'find' function, and plot manipulation.
Software Engineering: Development Steps and Error Management
Covers the essential aspects of software engineering, focusing on understanding the steps of program development and error management.
Inelastic Scattering in Transmission Electron Microscopy
Introduces inelastic scattering in transmission electron microscopy, focusing on electron energy-loss spectroscopy principles and applications.
Debugging
Covers testing, TDD, coverage, debugging, naming conventions, comments, and solutions for coding issues.
