Comment by armanboyaci

I believe your description of software development is highly aligned with the ideas of peter naur, programming as theory building.

https://pages.cs.wisc.edu/~remzi/Naur.pdf