https://arolstar52-zhtest.hf.space/index.php?action=history&feed=atom&title=SPARK 2026-07-19T07:19:11Z 本wiki上该页面的版本历史 MediaWiki 1.43.9 https://arolstar52-zhtest.hf.space/index.php?title=SPARK&diff=139541&oldid=prev 2021-02-08T22:57:15Z

<p>补救5个来源，并将0个来源标记为失效。) #IABot (v2.0.8</p> <p><b>新页面</b></p><div>&#039;&#039;&#039;SPARK&#039;&#039;&#039;是一种安全的、经正式定义的[[编程语言]]。它被设计用来支持一些安全或商业集成为关键因素的[[应用软件]]的设计。SPARK有基于[[Ada]] 83和Ada 95的[[版本]]。最新版本RavenSPARK包含了Ravenscar Tasking Profile来支持高度集成应用中的同步。SPARK的正式和明确的定义使得多种静态分析技术在SPARK[[源代码]]的应用中成为可能。<br /> <br /> == 外部链接 ==<br /> *[http://www.sparkada.com/ SPARK官方主页]{{Wayback|url=http://www.sparkada.com/ |date=20040211212349 }}<br /> *[http://www.praxis-his.com/ Praxis高度集成系统]{{Wayback|url=http://www.praxis-his.com/ |date=20060710031540 }}<br /> *[https://web.archive.org/web/20060529014818/http://www.stsc.hill.af.mil/crosstalk/2005/12/0512CroxfordChapman.html Correctness by Construction: A Manifesto for High-Integrity Software]<br /> *[http://www.safety-club.org.uk/ 英国安全系统俱乐部主页]{{Wayback|url=http://www.safety-club.org.uk/ |date=20060630145643 }}<br /> *[https://web.archive.org/web/20060513074927/http://www.praxis-his.com/sparkada/pdfs/SPARK95.pdf SPARK 95 - The SPADE Ada 95 Kernel（包含RavenSPARK）]<br /> <br /> [[Category:Ada编程语言家族]]<br /> [[Category:程序设计语言]]</div>

imported>InternetArchiveBot