Язык безопасных операций
Тема этой статьи Википедии может не соответствовать общему правилу по известности . ( январь 2011 г. ) |
Язык безопасных операций ( SOL ) был разработан совместно Исследовательской лабораторией ВМС США и Университетом штата Юта в США. SOL — это специализированный язык синхронного программирования для разработки распределенных приложений, основанный на принципах разработки программного обеспечения , разработанных в рамках проекта по снижению затрат на программное обеспечение в Военно-морской исследовательской лаборатории в конце 1970-х — начале 1980-х годов. SOL задуман как предметно-ориентированный язык для разработки сервисных систем. Одновременно разрабатывается доменное расширение Java (SOLj) (FTDCS 2007).Области применения включают сенсорные сети, оборонные и космические системы, здравоохранение, управление питанием и т. д.
Исследователями проекта являются доктор Рамеш Бхарадвадж из Военно-морской исследовательской лаборатории и доктор Супратик Мухопадхьяй из Университета штата Юта.
Ссылки
[ редактировать ]- Бхарадвадж, Рамеш (2002). «SOL: проверяемый синхронный язык для реактивных систем» . Электронные заметки по теоретической информатике . 65 (5): 140. doi : 10.1016/S1571-0661(05)82565-4 .