The specification of an algorithm is the code. Other ways of defining an algorithm is simply a useful but leaky abstraction. Once you understand that code is t

The specification of an algorithm is the code. Other ways of defining an algorithm is simply a useful but leaky abstraction. Once you understand that code is the (highly detailed)design, a lot of the reasons why software is so hard to do well makes a lot more sense. Compiling the code or running in a vm is the construction. It explains why estimates are hard, and why software is not something pump out like manufacturing line easily.