3 ms·
I think you still haven't grasped what formal methods really means. Think proving your software correct with math, not "project management forces us to write d
by yencabulator 2y ago
I think you still haven't grasped what formal methods really means.
Think proving your software correct with math, not "project management forces us to write documents".
Formal methods is very much not "how everyone does it", currently.
- ChrisMarshallNY 2y agoWhy are you arguing? BTW: that corporation was very much into “proving right with math.” The Japanese really like math, and this corporation probably has hundreds of patents, describing testing and validation methodology. Watts Humphrey once wrote a book that described a personal formal methodology. Can’t remember the name, but it was a really big deal, in the 1980s. I think it went a bit overboard, but it worked well, for folks that followed it completely.
- yencabulator 2y agoYou keep saying things that don't sound like anything at all like what TLA+ is. Humphrey's Personal Software Process is just another project management methodology; nothing do with this topic.
- ChrisMarshallNY 2y agoOK. You're right. I don't know what I'm talking about, and you win the Internet. Cool. Have a great day!