Formal methods for software development

Category:Formal methods

From Wikipedia, the free encyclopedia

Formal methods are mathematical approaches to software and hardware computer-based system development from requirements, specification and design through to programming and implementation. They form an important theoretical underpinning for software engineering, especially where safety or security is involved. Formal methods are a useful adjunct to software testing since they help avoid errors and can also give a framework for testing. For industrial use, tool support is required.

Recent Entries

Why learn to program
In the post “Why learning to code makes my brain hurt”, Mamie Rheingold explains why it is essential for all…
A focus on transaction cost explains a lot about the economics of the Internet
How a 1930's theory explains the economics of the internet: Ronald Coase discovered “transaction costs” in the 1930s and it…
Importance of Context in Metadata
Listen to this podcast on the importance of metadata in big data.   We need to be able to use metadata…
View Ralph Poole's profile on LinkedIn