Course Overview

Introduction and Course Overview - Download

Introduction to Modeling

Introduction and Course Overview - Download

Additional Reading

1. About Boeing - https://spectrum.ieee.org/how-the-boeing-737-max-disaster-looks-to-a-software-developer

2. On Software Licensing - https://cacm.acm.org/magazines/2014/7/176209-licensing-professional-software-engineers/abstract

3. Article on Therac 25 - https://www.computer.org/csdl/magazine/co/2017/11/mco2017110008/13rRUxAStVR

4. Green Software Foundation - https://greensoftware.foundation

5. Article from BBC on IT failures in NHS - https://www.bbc.com/news/health-67503126

AI-assisted tools and benchmarks

1. Github Co-Pilot - https://github.com/features/copilot
2. Cursor AI code editor - https://www.cursor.com
3. Windsurf Editor - https://codeium.com/windsurf
4. SWE Bench - https://www.swebench.com
5. AutoCodeRover - https://www.autocoderover.net

Multi-agent Framework

1. Crew AI - https://www.crewai.com
2. Autogen - https://microsoft.github.io/autogen/0.2/
3. Langraph - https://www.langchain.com/langgraph