![Simulation software / Software architecture / Systems architecture / Cross-platform software / Simulink / Architecture Analysis & Design Language / SPARK / Formal verification / Design by contract / Software engineering / Computing / Design Simulation software / Software architecture / Systems architecture / Cross-platform software / Simulink / Architecture Analysis & Design Language / SPARK / Formal verification / Design by contract / Software engineering / Computing / Design](https://www.pdfsearch.io/img/af1d0cbb47d0b28b0bb0ae6caf7ab06a.jpg) Date: 2014-01-23 04:27:02Simulation software Software architecture Systems architecture Cross-platform software Simulink Architecture Analysis & Design Language SPARK Formal verification Design by contract Software engineering Computing Design | | System to Software Integrity: A Case Study1 Matteo Bordin, Cyrille Comar, Ed Falis, Franco Gasperoni, Yannick Moy, Elie Richa, Jérôme Hugues {bordin, comar, falis, gasperoni, moy, richa}@adacore.com, jerome.hugueAdd to Reading ListSource URL: www.spark-2014.orgDownload Document from Source Website File Size: 797,57 KBShare Document on Facebook
|