Where are we going from here? Software engineering needs formal methods | nicholas@web - discu.eu

Hacker News

Where are we going from here? Software engineering needs formal methods https://ntietz.com/tech-blog/future-of-software-engineering-is-formal-methods/ 131 comments 3/7/2021

Lobsters

Where are we going from here? Software engineering needs formal methods https://ntietz.com/tech-blog/future-of-software-engineering-is-formal-methods/ 14 comments 3/7/2021 formalmethods , practices

Linking pages

Can you guarantee that a function has no bugs? Â· RogÃ©rio Chaves https://rchaves.app/can-you-guarantee-no-bugs/ 12 comments

Linked pages

Would you like to stay up to date with Computer science? Checkout Computer science Weekly.

Related searches:

Search whole site: site:ntietz.com

Search title: Where are we going from here? Software engineering needs formal methods | nicholas@web

See how to search.

Submit link to: