High-integrity software is key topic at 2007 Military Technologies Conference
,----[ Quote ]
| Following Tokar will be Redge Bartholomew, engineering manager at Rockwell
| Collins on "Static Analysis as an Example Approach to High Integrity Open
| Source Software."
|
| [...]
|
| "Why High Integrity Software Requires Open Source Tools," is the
| presentation of the module's last speaker, Robert Dewar, president and
| chief executive officer of AdaCore.
`----
http://mae.pennnet.com/display_article/285223/32/NEWS/none/none/High-integrity-software-is-key-topic-at-2007-Military-Technologies-Conference/
Related:
Department of Defense Releases Open Technology Development Roadmap
,----[ Quote ]
| According to OSSI, "OTD methodology will enable DoD organizations
| and contractors to rapidly adapt and extend existing software capabilities
| in response to shifting threats and requirements without, being locked in
| to a specific vendor or held hostage to proprietary technologies."
`----
http://trends.newsforge.com/article.pl?sid=06/07/07/233257&from=rss
|
|