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