https://blog.systerel.fr/Natacha est expert Ada chez Systerel.frContents © 2026 <a href="mailto:contact@systerel.fr">Systerel</a> Mon, 15 Jun 2026 14:33:50 GMTNikola (getnikola.com)http://blogs.law.harvard.edu/tech/rsshttps://blog.systerel.fr/fr/posts/2022-06/un-code-a-les-preuves-du-temps/Natacha Porté, Robert Cholay<div><img alt="A warpped clock" class="float-right" src="https://blog.systerel.fr/images/spark/clock.jpg" style="width: 240px;"> <p>Au travers de l’article <a class="reference external" href="https://blog.systerel.fr/fr/posts/2020-03/portage-ada-legacy/">Démarche de portage d'un "legacy" Ada</a> nous avions présenté les principaux problèmes pouvant être rencontrés lors d’un portage d’un legacy Ada et la façon de les adresser au mieux. L’approche ainsi proposée était « classique » et elle ne faisait aucunement appel aux méthodes formelles au travers par exemple de la technologie SPARK.</p> <p>Dans le présent article, nous allons vous présenter en quoi la technologie SPARK peut conforter cette approche « classique ».</p> <p><a href="https://blog.systerel.fr/fr/posts/2022-06/un-code-a-les-preuves-du-temps/">Lire la suite…</a> (Il reste encore 7 min. de lecture)</p></div>adasparkhttps://blog.systerel.fr/fr/posts/2022-06/un-code-a-les-preuves-du-temps/Thu, 30 Jun 2022 16:09:19 GMT