Язык безопасных операций

The topic of this article may not meet Wikipedia's general notability guideline. Please help to demonstrate the notability of the topic by citing reliable secondary sources that are independent of the topic and provide significant coverage of it beyond a mere trivial mention. If notability cannot be shown, the article is likely to be merged, redirected, or deleted. Find sources: "Secure Operations Language" – news · newspapers · books · scholar · JSTOR (January 2011) (Learn how and when to remove this message)

Язык безопасных операций ( SOL ) был разработан совместно Военно-морской исследовательской лабораторией США и Университетом штата Юта в США. SOL — это синхронный язык программирования , ориентированный на определенную область , для разработки распределенных приложений, основанный на принципах разработки программного обеспечения , разработанных в проекте по снижению стоимости программного обеспечения в Военно-морской исследовательской лаборатории в конце 1970-х и начале 1980-х годов. SOL предназначен для разработки систем на основе служб. Одновременно разрабатывается расширение Java (SOLj), ориентированное на определенную область (FTDCS 2007). Области применения включают сенсорные сети, оборонные и космические системы, доставку в здравоохранение, управление питанием и т. д.

Исследователями проекта являются доктор Рамеш Бхарадвадж из Военно-морской исследовательской лаборатории и доктор Супратик Мукхопадхай из Университета штата Юта.

• Бхарадвадж, Рамеш (2002). "SOL: проверяемый синхронный язык для реактивных систем". Электронные заметки по теоретической информатике . 65 (5): 140. doi : 10.1016/S1571-0661(05)82565-4 .

Эта статья по информатике — заглушка . Вы можете помочь Википедии, расширив ее.

• v
• t
• e