Concise notes on system modelling, software validation, and software architecture concepts. Includes key definitions and comparisons of different models.