The past decades Computer Science has spent remarkable effort to liberate programmers of "zeroes and ones". Programmers are pampered and have a lot of freedom to capture data, variables, functions, etc . Freedom in nomenclature generates private programs (source), which are understood by the coders themselves. The administrative layers look against a program as an unstructured collection of typical phraseology terms, managers are completely being sidelined. There is created a logical gap between what Project principals have in mind and the implementation results made by so called Software engineers.
Logic resources are since centuries available within the philosophical world, it is incomprehensible that the scientific link with Computer Science has not been explicitly explored. It is even more astonishing, while the logic link is readily made available by analytic philosophers e.g. Ludwig Wittgenstein.(Tractatus logico-