4 ms·
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 speci
by corethree 3y 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.
- AnimalMuppet 3y agoWell... given a hand wavy blurry specification, you can create a formal specification - just not by formal means.
- corethree 3y agoChanging the specification is fine.