СПАРК (язык программирования)
SPARK (язык программирования) Определение и история SPARK SPARK — это язык программирования, основанный на Ada, предназначенный для разработки высоконадежного ПО. […]
Ada (programming language), Ada programming language family, Algol programming language family, Concurrent programming languages, Formal specification languages, High Integrity Programming Language, History of computing in the United Kingdom, Procedural programming languages, Programming languages created in the 20th century, Science and technology in Hampshire, Statically typed programming languages, Systems programming languages, University of Southampton, Ада (язык программирования), История вычислений в Соединенном Королевстве, Наука и технологии в Хэмпшире, Параллельные языки программирования, Процедурные языки программирования, Семейство языков программирования Ада, Семейство языков программирования Алгол, созданные в 20 веке., Статически типизированные языки программирования, Университет Саутгемптона, Язык программирования высокой целостности, Языки программирования, Языки системного программирования, Языки формальной спецификации