Right, that makes sense, if we talk about specifications in an informal way.
Basically, any implementation I declare as specification is now a specification (Michael Scott style, heh).
But not all specifications are also implementations (at least according to this video [1]). I don't fully understand yet what makes those specifications not implementations. Maybe I need to see more examples for formal specifications that are not implementations.
Basically, any implementation I declare as specification is now a specification (Michael Scott style, heh).
But not all specifications are also implementations (at least according to this video [1]). I don't fully understand yet what makes those specifications not implementations. Maybe I need to see more examples for formal specifications that are not implementations.
[1] https://youtu.be/YoubQxqdICc?list=PLfsVAYSMwskseQbJ242TApAzA...