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

Not gonna argue. I know that, for many folks, these days, anything that imposes guardrails and boundaries, is considered “bureaucracy.”

It’s funny, but there’s a heck of a lot of structure, in today’s software industry. It’s just not called “process,” or “formal methods.” It’s just “this is how everyone does it.”

Pretty much a requirement, when your workforce leaves, every 18 months.



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.


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.


You 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.


OK. You're right. I don't know what I'm talking about, and you win the Internet.

Cool. Have a great day!




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

Search: