Content deleted Content added
Citation bot (talk | contribs) m Citation maintenance. Formatted: pages, doi. You can use this bot yourself! Please report any bugs. |
clean up, removed orphan tag using AWB |
||
Line 1:
The '''Secure Operations Language''' ('''SOL''') was developed jointly by the [[United States Naval Research Laboratory]] and [[Utah State University]] in the [[USA]]. SOL is a ___domain-specific synchronous [[programming language]] for developing distributed applications and is based on [[software engineering]] principles developed in the Software Cost Reduction project at the Naval Research Laboratory in the late 1970s and early 1980s. SOL is intended to be a ___domain-specific language for developing service-based systems. Concurrently, a ___domain-specific extension of Java (SOLj) is being developed (FTDCS 2007)
Application domains include sensor networks, defense and space systems, healthcare delivery, power control, etc.
Line 8 ⟶ 6:
==References==
{{cite journal | author=Bharadwaj, Ramesh | title= SOL: A Verifiable Synchronous Language for Reactive Systems | journal=[[Electronic Notes in Theoretical Computer Science]] | year=2002 | volume=65 | issue=5 | url=http://dblp.uni-trier.de/rec/bibtex/journals/entcs/Bharadwaj02 | doi=10.1016/S1571-0661(05)82565-4 | pages=140 }}
[[Category:Synchronous programming languages]]
{{comp-sci-stub}}
| |||