The OpenNET Project / Index page

[ новости /+++ | форум | wiki | теги | ]

Доступна GPL-версия языка программирования SPARK

07.10.2009 08:03

Объединенными усилиями компании Praxis и AdaCore выпущена GPL версия SPARK, основанного на Ada языка программирования для разработки приложений, безопасность и надежность которых имеет жизненно важное значение. SPARK предлагает инструментарий статической проверки и формирует доказательства корректности, которые могут быть использованы для создания гарантий в соответствии с требованиями промышленных систем сертификации.

Релиз сочетает в себе язык SPARK, инструменты верификации GNAT Programming Studio (GPS) от Praxis и интерактивную среду разработки GNATbench от AdaCore. Существуют версии SPARK, основанные на языках Ada 83, Ada 95 и Ada 2005, так что все ведущие Ada-компиляторы и инструменты работают прямо из коробки.



  1. Главная ссылка к новости (http://finance.yahoo.com/news/...)
  2. OpenNews: Началась подготовка GPL-версии инструментария SPARK
  3. wikipedia.org: SPARK (programming language)
Автор новости: MechanicalBear
Тип: К сведению
Короткая ссылка: https://opennet.ru/23755-spark
Ключевые слова: spark, praxis, ada, adacore
При перепечатке указание ссылки на opennet.ru обязательно
Обсуждение (6) Ajax | 1 уровень | Линейный | +/- | Раскрыть всё | RSS
  • 1.1, zhus (ok), 11:27, 07/10/2009 [ответить]  
  • +1 +/
    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-версии снижают? Каким способом?? Или я чего с английским намудрил?

     
     
  • 2.7, Michael (??), 11:50, 09/10/2009 [^] [^^] [^^^] [ответить]  
  • +/
    Ну на самом деле это включает вопрос техподдержки... QA не кончается с release.
     

  • 1.2, Cobold (??), 13:39, 07/10/2009 [ответить]  
  • +/
    Было бы интересно побольше про концепцию почитать, как оно выглядит там попытались ввести в аду контракты в стиле eiffel и анализировать внешними тулами. С другими языками такой подход может быть тоже полезен, если уж оно открылось.
     
  • 1.3, Аноним (-), 15:57, 07/10/2009 [ответить]  
  • +/
    Чем это лучше эрланга?
     
     
  • 2.4, Andrey Mitrofanov (?), 16:26, 07/10/2009 [^] [^^] [^^^] [ответить]  
  • +/
    Чем армяне! ... где там про эрланк?... где про лучше?... твою майкрософт...
     
  • 2.6, Аноним (-), 08:05, 08/10/2009 [^] [^^] [^^^] [ответить]  
  • +/
    Это вообще о другом. Эрланг - это системы массового обслуживания. А это - авионика для самолетов, спутники и тп.
     

     Добавить комментарий
    Имя:
    E-Mail:
    Текст:



    Спонсоры:
    Inferno Solutions
    Hosting by Hoster.ru
    Хостинг:

    Закладки на сайте
    Проследить за страницей
    Created 1996-2020 by Maxim Chirkov
    Добавить, Поддержать, Вебмастеру