Comment by corethree
2 years ago
Given a formal specification the idea is that a theory should be in place to calculate the design. We don't fully have this yet.
Given a hand wavy blurry specification, well... of course the implementation will be blurry and hand wavy as well.
Well... given a hand wavy blurry specification, you can create a formal specification - just not by formal means.
Changing the specification is fine.