ledinot
0d433e4c71
Add files via upload
8 years ago
CyrilleComar
6a70babfec
add READMEs in new directories
8 years ago
CyrilleComar
d54ff2a3a9
organization changes
...
create directories for each layer of the development assurance process
8 years ago
fpothon
5a9dc2bdaa
Add files via upload
8 years ago
fpothon
431283b8ad
Add files via upload
8 years ago
fpothon
5a6650bf81
Process Definition Draft 2
...
Updated based on meeting discussion, Anne-Perrine and Alexandre comments
8 years ago
fpothon
0c26279c88
Delete RESSAC_Process_Definition_Document draft 0.docx
8 years ago
fpothon
63164b49fc
Add files via upload
8 years ago
anneperrineporte
3777e9020c
Revert "1st attempts of modelization"
...
This reverts commit 13d59d126d
.
8 years ago
anneperrineporte
1bf80ed536
Revert "Revert "1st attempts of modelization""
...
This reverts commit 7e0b548698
.
8 years ago
anneperrineporte
01028de251
Merge branch 'master' of https://github.com/AdaCore/RESSAC_Use_Case
8 years ago
fpothon
3c0e003fc6
Add files via upload
8 years ago
fpothon
fef6de0682
Add files via upload
...
First draft of the specification at AV level (step 1)
8 years ago
anneperrineporte
aaf3c3ffd0
Reviews on specification
...
- 1st sheet : remarks
- 2nd sheet : interfaces issues
8 years ago
ledinot
d5554a58f8
Update README.md
8 years ago
ledinot
29dc350212
Update README.md
8 years ago
DuncBrown
dcb34886d2
Fixed some typos (With tracked changes)
8 years ago
anneperrineporte
49a2a0927a
remarks on specification
...
document with remarks on specification documents
- 1 sheet on document "OP oriented"
- 1 continuing remarks on last version
- 1 sheet with analysis of interfaces : inconcistencies and missing
elements
8 years ago
anneperrineporte
7e0b548698
Revert "1st attempts of modelization"
...
This reverts commit b5bcb8fa80ac69a350455f930cf5f57397829812.
8 years ago
anneperrineporte
13d59d126d
1st attempts of modelization
...
system modelization with verification of interfaces
8 years ago
DuncBrown
1339fe1938
RR Logo Change
8 years ago
CyrilleComar
a63dbbf307
fix a few typos
...
in particular "e.g " into e.g. " and "i.e " into "i.e. "
8 years ago
Olivier Ramonat
38f2d8402c
First basic layout and initial documents
8 years ago
Olivier Ramonat
1409a3e19a
Initial commit
8 years ago