Mocking - What is it? - Why use it? - Example: apply it to project REST APIs - Operations - Terms: - URI - Resource - Safety - Idempotence - Example(s) - Be able to come up with (part of) an API for your own UML editor! Microservices + Containers - Definitions - Why adopt a microservice architecture? - What would you find difficult? Ethics - ACM Code of Ethics (evaluated through your paper) NOT quiz Formal Verification - What does that mean? - How can we formally verify correctness? - Trace through a short symbolic execution example Debugging Teams - Chapter 5: The Art of Organizational Manipulation - Chapter 6: Users are People Too