SPARK User Group 2010
AdaCore’s partner Altran Praxis has traditionally run a bi-annual “SPARK User Group”. The talks from this years event aimed at engineers and managers who are concerned with the development, regulation, or procurement of high assurance software, but who may not be day-to-day SPARK users.
-
SPARK Ada in High SIL Active Life Support
-
Autocoding – Do we Still Need Software Design?
-
Designing and Implementing a Verifiable High Assurance Workstation
-
PSP and TSP: Culture and Discipline for High-Assurance Software