ada/RESSAC_Use_Case
0
0
Fork 0
mirror of https://github.com/AdaCore/RESSAC_Use_Case.git synced 2026-02-12 12:42:59 -08:00
Code Issues Packages Projects Releases Wiki Activity
123 Commits 2 Branches 0 Tags
CaseStudiesProcessDefinition
Commit Graph

123 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
fpothon
0cd7bd43a6 Add files via upload 2018-02-08 15:15:23 +01:00
fpothon
6550c61a1d Delete Case study SW MODEL.doc 2018-02-08 14:14:51 +00:00
fpothon
c491b3079e Add files via upload 2018-02-08 15:11:56 +01:00
fpothon
c9cc833fc3 Add files via upload 2018-01-30 14:15:15 +01:00
HerveDelseny
8933abb375 Delete Case study template FPGA Development_2.doc 
File renamed in Case Study FPGA Development
 2018-01-19 15:34:40 +00:00
MiguelDeAlmeida
3d7f65fce0 Add files via upload 2018-01-19 14:39:24 +01:00
MiguelDeAlmeida
e57b96aa32 Add files via upload 2018-01-11 14:34:53 +01:00
MiguelDeAlmeida
25363477d6 Delete Case study template Soc Development.doc 2018-01-11 13:34:02 +00:00
ThalesAV
1ac44805e3 Add files via upload 2018-01-11 11:43:49 +01:00
ThalesAV
1b2aa52b71 Delete Case Study HW COTS AEH_Process Description_1.2.1.doc 2018-01-11 10:42:11 +00:00
ThalesAV
8b2dcb6a73 Delete Case Study HW COTS AEH_Properties Mapping_1.1.0.doc 2018-01-11 10:41:39 +00:00
AP Porte
61ae698055 update during january 11th meeting 2018-01-11 11:35:30 +01:00
ThalesAV
1ee652880b Delete Case Study HW COTS AEH.doc 2018-01-11 10:29:36 +00:00
ThalesAV
d224b4bd5b Delete Case Study HW COTS AEH selection__process_1.1.doc 2018-01-11 10:28:23 +00:00
ThalesAV
b7513db80c Add files via upload 2018-01-11 11:25:01 +01:00
fpothon
7f182ab2cb Add files via upload 2018-01-10 15:55:51 +01:00
CyrilleComar
b818933ee6 add General_Info dir 
this is for external communication purposes.
 2018-01-10 09:33:40 +01:00
CyrilleComar
be71dd52f0 Perrine"s Readme 
move README to new organization
 2018-01-10 09:33:40 +01:00
AP Porte
c14d7900a0 ressac meeting january 9th 2018-01-09 18:14:55 +01:00
Emmanuel Ledinot
1007b2dcb5 Add files via upload 2018-01-08 23:54:54 +01:00
Emmanuel Ledinot
5ec315e6ee Add files via upload 2018-01-08 23:54:03 +01:00
Emmanuel Ledinot
f54b89557b Add files via upload 2018-01-08 23:53:14 +01:00
Emmanuel Ledinot
cb99f6b889 Add files via upload 2018-01-08 23:52:24 +01:00
Anthony Leonardo Gracio
fbdcf37b22 Fix typo 2018-01-08 17:15:48 +01:00
Anthony Leonardo Gracio
cfd1c3007d Update the Case study SPARK document 
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.).
 2018-01-08 17:15:48 +01:00