3 ms·
Why are you arguing? BTW: that corporation was very much into “proving right with math.” The Japanese really like math, and this corporation probably has hundr
by ChrisMarshallNY 2y ago
Why 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!