Sign In

Login

Password

Forgot Password ? Sign Up

SPARK (язык программирования) (Russian Wikipedia)

Analysis of information sources in references of the Wikipedia article "SPARK (язык программирования)" in Russian language version.

refsWebsite
Global rank Russian rank
15web.archive.org
1st place
1st place
7adacore.com
low place
low place
5doi.org
2nd place
3rd place
2ada-ru.org
low place
low place
1tib.eu
low place
low place
1sdtimes.com
low place
low place
1springer.com
274th place
350th place
1genode.org
low place
low place
1muen.sk
low place
low place
1worldcat.org
5th place
5th place
1lri.fr
low place
low place

ada-ru.org (Global: low place; Russian: low place)

adacore.com (Global: low place; Russian: low place)

adacore.com

docs.adacore.com

blog.adacore.com

doi.org (Global: 2nd place; Russian: 3rd place)

dx.doi.org

doi.org

genode.org (Global: low place; Russian: low place)

lri.fr (Global: low place; Russian: low place)

why3.lri.fr

muen.sk (Global: low place; Russian: low place)

sdtimes.com (Global: low place; Russian: low place)

  • Handy, Alex (24 августа 2010). Ada-derived Skein crypto shows SPARK. SD Times. BZ Media LLC. Архивировано 25 августа 2010. Дата обращения: 31 августа 2010.

springer.com (Global: 274th place; Russian: 350th place)

link.springer.com

tib.eu (Global: low place; Russian: low place)

av.tib.eu

web.archive.org (Global: 1st place; Russian: 1st place)

  • SPARK - The SPADE Ada Kernel (including RavenSPARK). docs.adacore.com. Дата обращения: 10 октября 2020. Архивировано 7 сентября 2021 года.
  • Сертификация с помощью SPARK. www.ada-ru.org. Дата обращения: 10 октября 2020. Архивировано 13 мая 2021 года.
  • Johannes Kliemann. Program verification with SPARK - When your code must not fail (2018). Дата обращения: 10 октября 2020. Архивировано 16 мая 2021 года.
  • Eurofighter Typhoon - Customer Projects - AdaCore. www.adacore.com. Дата обращения: 10 октября 2020. Архивировано 21 сентября 2020 года.
  • Самолет Бе-200. www.ada-ru.org. Дата обращения: 10 октября 2020. Архивировано 13 мая 2021 года.
  • GNAT Pro Chosen for UK’s Next Generation ATC System (амер. англ.). AdaCore. Дата обращения: 10 октября 2020. Архивировано 21 сентября 2020 года.
  • Space - AdaCore. www.adacore.com. Дата обращения: 10 октября 2020. Архивировано 21 октября 2020 года.
  • Handy, Alex (24 августа 2010). Ada-derived Skein crypto shows SPARK. SD Times. BZ Media LLC. Архивировано 25 августа 2010. Дата обращения: 31 августа 2010.
  • David Hardin, Konrad Slind, Mark Bortz, James Potts, Scott Owens. A High-Assurance, High-Performance Hardware-Based Cross-Domain System (англ.) // Computer Safety, Reliability, and Security / Amund Skavhaug, Jérémie Guiochet, Friedemann Bitsch. — Cham: Springer International Publishing, 2016. — P. 102–113. — ISBN 978-3-319-45477-1. — doi:10.1007/978-3-319-45477-1_9. Архивировано 20 января 2022 года.
  • Genode - Genode Operating System Framework. genode.org. Дата обращения: 10 октября 2020. Архивировано 28 октября 2020 года.
  • Muen | SK for x86/64. muen.sk. Дата обращения: 10 октября 2020. Архивировано 25 октября 2020 года.
  • Why3. why3.lri.fr. Дата обращения: 10 октября 2020. Архивировано 12 октября 2020 года.
  • Alternative Provers — SPARK User's Guide 22.0w. docs.adacore.com. Дата обращения: 10 октября 2020. Архивировано 12 октября 2020 года.
  • Praxis and AdaCore Announce SPARK Pro (англ.). AdaCore. Дата обращения: 10 октября 2020. Архивировано 21 сентября 2020 года.
  • Use of SPARK in a Certification Context (англ.). The AdaCore Blog. Дата обращения: 10 октября 2020. Архивировано 12 октября 2020 года.

worldcat.org (Global: 5th place; Russian: 5th place)