https://profriehle.com/2020/02/21/theory-building-and-validation-in-computer-science/
Traditional theory building and validation in (computer) science