Back in the 90s it was assumed that specs would be written in a specification language, and we'd be able to prove our software by automated testing using the pre/post conditions.

We'd mainly spend our time writing UML and thinking back to the bad old days when writing software was using old fashioned text editors like vim and emacs, and we'd be wondering how those fools managed to get anything done.

Meanwhile back in reality, it's the same old.