Jazyk zabezpečeného provozu - Secure Operations Language

Téma tohoto článku nemusí splňovat požadavky Wikipedie obecný pokyn k notabilitě. Pomozte prosím určit notabilitu citováním spolehlivé sekundární zdroje to jsou nezávislý tématu a poskytnout jeho významné pokrytí nad rámec pouhé triviální zmínky. Pokud nelze určit významnost, je pravděpodobné, že článek bude sloučeny, přesměrovánnebo smazáno. Najít zdroje: „Secure Operations Language“  – zprávy  · noviny  · knihy  · učenec  · JSTOR (Ledna 2011) (Zjistěte, jak a kdy odstranit tuto zprávu šablony)

The Jazyk zabezpečeného provozu (SOL) byl vyvinut společně United States Naval Research Laboratory a Státní univerzita v Utahu ve Spojených státech. SOL je synchronní pro konkrétní doménu programovací jazyk pro vývoj distribuovaných aplikací a je založen na softwarové inženýrství principy vyvinuté v projektu Software Cost Reduction v Naval Research Laboratory na konci 70. a na začátku 80. let. SOL má být a jazyk specifický pro doménu pro vývoj systémů založených na službách. Současně se vyvíjí doménové rozšíření Java (SOLj) (FTDCS 2007). Aplikační domény zahrnují senzorové sítě, obranné a vesmírné systémy, poskytování zdravotní péče, řízení napájení atd.

Řešiteli projektu jsou Dr. Ramesh Bharadwaj z Naval Research Laboratory a Dr. Supratik Mukhopadhyay ze státní univerzity v Utahu.

Reference

• Bharadwaj, Ramesh (2002). „SOL: Ověřitelný synchronní jazyk pro reaktivní systémy“. Elektronické poznámky v teoretické informatice. 65 (5): 140. doi:10.1016 / S1571-0661 (05) 82565-4.

Tento počítačová věda článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.