Given a formal specification the idea is that a theory should be in place to cal... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		corethree on Oct 25, 2023 \| parent \| context \| favorite \| on: A Philosophy of Software Design 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 on Oct 25, 2023 [–]

Well... given a hand wavy blurry specification, you can create a formal specification - just not by formal means.

corethree on Oct 25, 2023 | [–]

Changing the specification is fine.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact