Login | Register   
LinkedIn
Google+
Twitter
RSS Feed
Download our iPhone app
TODAY'S HEADLINES  |   ARTICLE ARCHIVE  |   FORUMS  |   TIP BANK
Browse DevX
Sign up for e-mail newsletters from DevX


advertisement
 

Deep Specification Project Aims to End Software Bugs

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


advertisement

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



   
Comment and Contribute

 

 

 

 

 


(Maximum characters: 1200). You have 1200 characters left.

 

 

Sitemap
Thanks for your registration, follow us on our social networks to keep up-to-date