-
Anthony Leonardo Gracio authored
In particular define more precisely what are the SPARK global contracts and specify which errors can be found (and how) during the different phases of the project (software requirements development, etc.).
cfd1c300
In particular define more precisely what are the SPARK global contracts and specify which errors can be found (and how) during the different phases of the project (software requirements development, etc.).
Name |
Last commit
|
Last update |
---|---|---|
.. | ||
GeneralProcessDefinition | Loading commit data... | |
Case Study HW COTS AEH selection__process_1.1.doc | Loading commit data... | |
Case Study HW COTS AEH.doc | Loading commit data... | |
Case study Multisystem Integration.doc | Loading commit data... | |
Case study SPARK.doc | Loading commit data... | |
Case study SW MODEL.doc | Loading commit data... | |
Case study template FPGA Development_2.doc | Loading commit data... | |
Case study template Soc Development.doc | Loading commit data... | |
Case study template.doc | Loading commit data... | |
README.md | Loading commit data... |