Thanks for writing Bernaridho! I’m surprised someone is still out there reading blog posts from 9 years ago, but thanks for reading! (Of course, this particular article is mostly just a transcript of an interview, so credit goes to the original creators, not me).
Skimming your article, you might be interested in Daniel Jackson’s new book, which tackles similar debates about the nature of software design:
He argues, much like you do, that there can be a theoretical, even formal foundation for software design. However, he admits that even if we can represent it formally, most of the choices about what to represent are highly informal, human judgements.