форумы  помощь  поиск  регистрация  майллист  вход/выход  слежка

Вариант для распечатки		Пред. тема | След. тема
Форумы Разговоры, обсуждение новостей (Public)
Изначальное сообщение		[ Отслеживать ]

"Доступна GPL-версия языка программирования SPARK"		+/–
Сообщение от opennews (ok) on 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.dev/opennews/art.shtml?num=23755
Высказать мнение | Ответить | Правка | Cообщить модератору

Сообщения по теме

[Сортировка по времени | RSS]

1. "Доступна GPL-версия языка программирования SPARK"		+1 +/–
Сообщение от zhus (ok) on 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-версии снижают? Каким способом?? Или я чего с английским намудрил?
Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

	7. "Доступна GPL-версия языка программирования SPARK"		+/–
	Сообщение от Michael (??) on 09-Окт-09, 11:50
	Ну на самом деле это включает вопрос техподдержки... QA не кончается с release.
	Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

2. "Доступна GPL-версия языка программирования SPARK"		+/–
Сообщение от Cobold (??) on 07-Окт-09, 13:39
Было бы интересно побольше про концепцию почитать, как оно выглядит там попытались ввести в аду контракты в стиле eiffel и анализировать внешними тулами. С другими языками такой подход может быть тоже полезен, если уж оно открылось.
Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

3. "Доступна GPL-версия языка программирования SPARK"		+/–
Сообщение от Аноним (??) on 07-Окт-09, 15:57
Чем это лучше эрланга?
Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

	4. "Доступна GPL-версия языка программирования SPARK"		+/–
	Сообщение от Andrey Mitrofanov on 07-Окт-09, 16:26
	Чем армяне! ... где там про эрланк?... где про лучше?... твою майкрософт...
	Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

	6. "Доступна GPL-версия языка программирования SPARK"		+/–
	Сообщение от Аноним (??) on 08-Окт-09, 08:05
	Это вообще о другом. Эрланг - это системы массового обслуживания. А это - авионика для самолетов, спутники и тп.
	Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

Архив | Удалить

Индекс форумов | Темы | Пред. тема | След. тема