RSS Feed
Download our iPhone app
Browse DevX
Sign up for e-mail newsletters from DevX


Deep Specification Project Aims to End Software Bugs

Researchers are working on new languages, tools and development methodologies that can help eliminate software flaws.


The National Science Foundation (NSF) has awarded a five-year, $10 million grant to researchers at MIT, Princeton, the University of Pennsylvania and Yale who are working to develop tools to get rid of software bugs. Their project, titled Expeditions in Computing: The Science of Deep Specification (DeepSpec), aims to create mathematical tools that will allow developers to create bug-free applications.

“Today’s critical software systems are neither secure nor reliable. Existing programming tools and languages do not provide good support for writing certified software,” said Zhong Shao, computer science professor at Yale. “With the proliferation of new robots, the Internet of Things and cloud computers, computer software is only going to become even more complex. To control such complexity, we have to develop new technologies and tools that turn software development into a more principled and rigorous practice.”

View article

Email AuthorEmail Author
Close Icon
Thanks for your registration, follow us on our social networks to keep up-to-date