Life Cycle ManagementExplores the recycling chain, life cycle tools, material analysis, packaging impact, and case studies on coffee machines.
Programming for EngineersCovers programming basics for engineers, emphasizing MATLAB, C, and LabVIEW tools for project development.
From Tests to ProofExplores software engineering concepts, emphasizing the significance of tests and clear specifications in ensuring software correctness.
From Tests to ProofExplores the shift from software testing to formal specifications, highlighting the significance of clear requirements in software engineering.