В целом развитие знания выглядит так: вы берёте какую-то невнятно выражаемую интуицию, оформляете как её как схемоид, затем оформляете этот схемоид как ещё более формальную схему, выверяете на схеме ошибки, понимаете, что с учётом найденных ошибок всё не так, возвращаетесь к схемоиду или даже интуиции, чуть подкручиваете, возвращаетесь к схеме и находите её уже без ошибок. В конце концов у вас появляется новая предметная область (domain) и выражающий её понятия какой-то предметно-специфический язык (DSL).