Formal methods start to add up again
In Computing's third Déjà Vu piece, Richard Sharpe looks at using maths as a basis for software.
The chances are high that before I have finished writing this article, the dreaded 'illegal operation' window will open. I will swear at the screen and mumble: "If they built roads, bridges, cars, planes...
More on Ecommerce
Walmart migrates to Azure with Microsoft partnership
Companies are challenging Amazon in retail and cloud
Esteé Lauder scents victory against the vloggers with its tech makeover
Cosmetics firm is undergoing a top-to-toe tech refresh with GDPR compliance thrown in
DFS goes with Rackspace managed cloud to better handle website traffic
DFS resorts to cloud to help handle spikes in online demand
UK SMBs believe they "have strategies in place to thrive in age of uncertainty" says report
Economy and business performance not a problem, reckon small firms
Comic Relief replaces 'knocked together' payment services
Charity engages Braintree to move away from previous payment system which was in danger of failing and losing millions of pounds of donations, admits CTO
Back to Top
