Specification is like a macroeconomics model. It describes the general purpose and trend of the system.
Implementation is like a microeconomics model. It describes the operation and machinery of the system.
About: Learning Rust and Haskell, tired of JavaScript. Thinks Ruby is awesome except that it is not cross-platform enough. 日本語 / 中文 OK. He/him.
Specification is like a macroeconomics model. It describes the general purpose and trend of the system.
Implementation is like a microeconomics model. It describes the operation and machinery of the system.