https://m.opennet.me/openforum/vsluhforumID3/59656.html Объединенными усилиями компании Praxis и AdaCore выпущена (http://finance.yahoo.com/news/Praxis-and-AdaCore-Launch-bw-3451193798.html?x=0&.v=1) GPL версия SPARK (http://libre.adacore.com/libre/), основанного на Ada языка программирования для разработки приложений, безопасность и надежность которых имеет жизненно важное значение. SPARK предлагает инструментарий статической проверки и формирует доказательства корректности, которые могут быть использованы для создания гарантий в соответствии с требованиями промышленных систем сертификации. <br><br><br>Релиз сочетает в себе язык SPARK (http://www.adacore.com/home/products/sparkpro/language_toolsuite/), инструменты верификации GNAT (http://www.adacore.com/home/products/gnatpro/toolsuite/gps/) Programming Studio (GPS) от Praxis и интерактивную среду разработки GNATbench (http://www.adacore.com/home/products/gnatpro/toolsuite/gnatbench/) от AdaCore. Существуют версии SPARK, основанные на языках Ada 83, Ada 95 и Ada 2005, так что все ведущие Ada-компиляторы и инструменты ра https://m.opennet.me/openforum/vsluhforumID3/59656.html#7 Fri, 09 Oct 2009 07:50:16 GMT Ну на самом деле это включает вопрос техподдержки... QA не кончается с release.<br> https://m.opennet.me/openforum/vsluhforumID3/59656.html#6 Thu, 08 Oct 2009 04:05:58 GMT Это вообще о другом. Эрланг - это системы массового обслуживания. А это - авионика для самолетов, спутники и тп.<br> https://m.opennet.me/openforum/vsluhforumID3/59656.html#4 Wed, 07 Oct 2009 12:26:12 GMT Чем армяне! ... где там про эрланк?... где про лучше?... твою майкрософт...<br> https://m.opennet.me/openforum/vsluhforumID3/59656.html#3 Wed, 07 Oct 2009 11:57:34 GMT Чем это лучше эрланга?<br> https://m.opennet.me/openforum/vsluhforumID3/59656.html#2 Wed, 07 Oct 2009 09:39:06 GMT Было бы интересно побольше про концепцию почитать, как оно выглядит там попытались ввести в аду контракты в стиле eiffel и анализировать внешними тулами. С другими языками такой подход может быть тоже полезен, если уж оно открылось.<br> https://m.opennet.me/openforum/vsluhforumID3/59656.html#1 Wed, 07 Oct 2009 07:27:44 GMT Technology Comparison Chart<br><br>Quality assurance (Обеспечение качества?)<br><br>GNAT Pro/SPARK Pro: Suitable for use in mission critical and high-integrity software development<br><br>GNAT / SPARK Academic Program: Suitable for teaching purposes<br><br>GNAT / SPARK GPL Edition: Suitable for Free Software development<br><br>Как они гарантии качества для GPL-версии снижают? Каким способом?? Или я чего с английским намудрил?<br>