Lead of Technical Account Management and Business Development

AdaCore

Articles 1 - 1
Software & OS

Code cleaning with SPARK and Ada: Cut development costs upfront - Other

August 16, 2017

Leveraging an expressive and formal specification from the start makes it easier to respect requirements, provide automatic verification, and prevent problems or detect them early in development.

Articles 1 - 1