СИГНАЛ (язык программирования)

От / / Оставьте комментарий

Оглавление1 СИГНАЛ (язык программирования)1.1 Основы языка программирования SIGNAL1.2 Разработка и применение1.3 Инструменты разработки1.4 Дополнительные ресурсы2 СИГНАЛ (язык программирования) — Википедия […]

Declarative programming languages, Formal methods, Hardware description languages, Software modeling language, Synchronous programming languages, Формальные методы, Язык моделирования программного обеспечения, Языки декларативного программирования, Языки описания аппаратного обеспечения, Языки синхронного программирования

СИГНАЛ (язык программирования)

  • Основы языка программирования SIGNAL

    • SIGNAL основан на синхронизированных потоках данных и описывает системы с несколькими тактами. 
    • Формальная модель позволяет описывать полихронные системы в реляционных спецификациях. 
    • Отношения используются для частичных спецификаций и описания недетерминированных устройств. 

  • Разработка и применение

    • SIGNAL разрабатывался командой INRIAEspresso с 1980-х годов параллельно с Esterel и Lustre. 
    • Язык был создан для обработки сигналов, но расширен до обычных и распределенных систем. 
    • Стиль спецификации ориентирован на взаимосвязь и позволяет создавать системы с несколькими тактами. 

  • Инструменты разработки

    • Polychrony toolset – среда разработки с открытым исходным кодом для критически важных систем. 
    • SME (SIGNAL Meta under Eclipse) – интерфейс для полихронии в среде Eclipse, основанный на MDE. 

  • Дополнительные ресурсы

    • Ссылки на другие языки программирования, формальную проверку и проектирование систем. 

Полный текст статьи:

СИГНАЛ (язык программирования) — Википедия

Похожие статьи:

  1. Eclipse (программное обеспечение) Оглавление1 Eclipse (программное обеспечение)1.1 Обзор Eclipse1.2 История и развитие1.3 Особенности и функции1.4 Платформы и компоненты1.5 Расширения...
  2. Язык программирования – Arc.Ask3.Ru Оглавление1 Язык программирования1.1 Определение языков программирования1.2 Реализация языков программирования1.3 История языков программирования1.4 1960-е и 1970-е годы1.5...
  3. Критическая миссия Оглавление1 Критически важная миссия1.1 Определение критически важных систем1.2 Эволюция критически важных систем1.3 Критерии критически важных систем1.4...
  4. Язык визуального программирования Оглавление1 Язык визуального программирования1.1 Обзор визуальных языков программирования1.2 Примеры визуальных языков1.3 Языки для обучения и разработки1.4...
  5. Signal (приложение для обмена сообщениями) Оглавление1 Сигнал (приложение для обмена сообщениями)1.1 Обзор Signal1.2 История и развитие1.3 Безопасность и конфиденциальность1.4 Критика и...
  6. Затмение Че Оглавление1 Затмение Че1.1 Обзор Eclipse Che1.2 История и развитие1.3 Лицензирование и название1.4 Поддерживаемые языки и платформы1.5...
  7. Язык спецификации Оглавление1 Язык спецификации1.1 Определение языка спецификаций1.2 Обзор подходов к спецификации1.3 Примеры языков спецификаций1.4 Процесс уточнения спецификаций1.5...
  8. Список языков программирования по типам Оглавление1 Список языков программирования по типам1.1 Классификация языков программирования1.2 Процедурные языки1.3 Функциональные языки1.4 Объектно-ориентированные языки1.5 Императивные...
  9. Арамейский – Arc.Ask3.Ru Оглавление1 Арамейский1.1 Происхождение и распространение арамейского языка1.2 Современные разновидности и использование1.3 Лингвистическая классификация и алфавит1.4 Историческое...
  10. Язык синхронного программирования Оглавление1 Язык синхронного программирования1.1 Определение синхронного языка программирования1.2 Классификация компьютерных систем1.3 Синхронное программирование и его принципы1.4...
  11. Итальянская архитектура – Википедия Оглавление1 Итальянская архитектура1.1 Итальянский стиль в архитектуре1.2 Примеры и эволюция стиля1.3 Влияние и признание1.4 Историческое значение...
  12. Французский язык – Википедия Оглавление1 Французский язык1.1 Происхождение и развитие французского языка1.2 Распространение и статус1.3 Международный статус1.4 История и эволюция1.5...
  13. Список образовательных языков программирования Оглавление1 Список образовательных языков программирования1.1 Обзор языков программирования для детей1.2 Примеры языков программирования для детей1.3 Образовательные...
  14. Итальянская архитектура – Википедия Оглавление1 Итальянская архитектура1.1 Итальянский стиль в архитектуре1.2 Примеры и эволюция стиля1.3 Влияние и признание1.4 Полный текст...
  15. Компьютерные программы – Википедия Оглавление1 Компьютерная программа1.1 История компьютерного программирования1.2 Развитие компьютеров1.3 Компьютеры с сохраненными программами1.4 Очень масштабная интеграция1.5 Микропроцессоры...
  16. Эклипс Джаз Оглавление1 Затмение Джаза1.1 История Eclipse Jazz1.2 Начало и развитие1.3 Известные исполнители1.4 Грантовое финансирование и мероприятия1.5 Рекомендации1.6...
  17. Эзотерический язык программирования Оглавление1 Эзотерический язык программирования1.1 Определение и история эсолангов1.2 Примеры эсолангов1.3 Культурный контекст и рекомендации2 Эзотерический язык...
  18. История языков программирования Оглавление1 История языков программирования1.1 Обзор истории языков программирования1.2 Ранние языки программирования1.3 Развитие языков программирования1.4 Современные тенденции...
  19. Сигнал (IPC) Оглавление1 Сигнал (IPC)1.1 Основы сигналов в Unix1.2 История и эволюция сигналов1.3 Отправка и обработка сигналов1.4 Риски...
  20. Критическая система безопасности Оглавление1 Критически важная для безопасности система1.1 Определение критически важных для безопасности систем1.2 Критерии надежности1.3 Режимы обеспечения...
  21. Плагин Google для Eclipse Оглавление1 Плагин Google для Eclipse1.1 Обзор Google Plugin для Eclipse (GPE)1.2 История и версии1.3 Особенности GPE1.4...
  22. AlliedSignal Оглавление1 Объединенный сигнал1.1 История AlliedSignal1.2 История Allied Corp.1.3 История Сигнальных компаний1.4 Слияние Allied и Signal1.5 Приобретение...

Оставьте комментарий

Прокрутить вверх