URL: https://www.opennet.me/cgi-bin/openforum/vsluhboard.cgi
Форум: vsluhforumID3
Нить номер: 59656
[ Назад ]
Исходное сообщение
"Доступна GPL-версия языка программирования SPARK"
Отправлено opennews , 07-Окт-09 11:27 
Объединенными усилиями компании Praxis и AdaCore выпущена (http://finance.yahoo.com/news/Praxis-and-AdaCore-Launch-bw-3...) GPL версия SPARK (http://libre.adacore.com/libre/), основанного на Ada языка программирования для разработки приложений, безопасность и надежность которых имеет жизненно важное значение. SPARK предлагает инструментарий статической проверки и формирует доказательства корректности, которые могут быть использованы для создания гарантий в соответствии с требованиями промышленных систем сертификации.


Релиз сочетает в себе язык SPARK (http://www.adacore.com/home/products/sparkpro/language_tools.../), инструменты верификации GNAT (http://www.adacore.com/home/products/gnatpro/toolsuite/gps/) Programming Studio (GPS) от Praxis и интерактивную среду разработки GNATbench (http://www.adacore.com/home/products/gnatpro/toolsuite/gnatb.../) от AdaCore. Существуют версии SPARK, основанные на языках Ada 83, Ada 95 и Ada 2005, так что все ведущие Ada-компиляторы и инструменты работают прямо из коробки.


URL: http://finance.yahoo.com/news/Praxis-and-AdaCore-Launch-bw-3...
Новость: http://www.opennet.me/opennews/art.shtml?num=23755

Содержание
Сообщения в этом обсуждении
"Доступна GPL-версия языка программирования SPARK"
Отправлено zhus , 07-Окт-09 11:27 
Technology Comparison Chart

Quality assurance (Обеспечение качества?)

GNAT Pro/SPARK Pro: Suitable for use in mission critical and high-integrity software development

GNAT / SPARK Academic Program: Suitable for teaching purposes

GNAT / SPARK GPL Edition: Suitable for Free Software development

Как они гарантии качества для GPL-версии снижают? Каким способом?? Или я чего с английским намудрил?

"Доступна GPL-версия языка программирования SPARK"
Отправлено Michael , 09-Окт-09 11:50 
Ну на самом деле это включает вопрос техподдержки... QA не кончается с release.
"Доступна GPL-версия языка программирования SPARK"
Отправлено Cobold , 07-Окт-09 13:39 
Было бы интересно побольше про концепцию почитать, как оно выглядит там попытались ввести в аду контракты в стиле eiffel и анализировать внешними тулами. С другими языками такой подход может быть тоже полезен, если уж оно открылось.
"Доступна GPL-версия языка программирования SPARK"
Отправлено Аноним , 07-Окт-09 15:57 
Чем это лучше эрланга?
"Доступна GPL-версия языка программирования SPARK"
Отправлено Andrey Mitrofanov , 07-Окт-09 16:26 
Чем армяне! ... где там про эрланк?... где про лучше?... твою майкрософт...
"Доступна GPL-версия языка программирования SPARK"
Отправлено Аноним , 08-Окт-09 08:05 
Это вообще о другом. Эрланг - это системы массового обслуживания. А это - авионика для самолетов, спутники и тп.