My term paper was going to be about autopilot and CFD for programming languages, but at the subreddits of aerospace and rocketry, one of them suggested me to pick the hug topics of NASA and aerospace industry, related to computer science, as software reliability and maintainability or software verification and validation techniques because he explained he didn't consider “Programming languages for ...” to be at all particularly noteworthy topics of aerospace industry and aerospace engineering.

I did a lot of research and found NASA's open source projects. I asked him and also NASA researchers who maintain GitHUB projects, but they didn't answer me for two weeks.

I need to know if these repositories...

1. code.nasa.gov
2. llis.nasa.gov/lesson/838
3. github.com/nasa/WinASSIST

Are they related to software reliability and maintainability?

If not, then...

1. opensource.gsfc.nasa.gov/projects/LVT/index.php
2. opensource.gsfc.nasa.gov/projects/GSRadar

Are they related to software verification and validation techniques?

If not, I will have to replace again for CFD and autopilot, but I also need to know if they are related...

1. sourceforge.net/projects/cfs-cfdp/files/latest/do…
2. sourceforge.net/projects/cfdutilities/files/lates…
3. ti.arc.nasa.gov/m/opensource/downloads/gmp-1.0.0.…
4. github.com/nasa/gfr

Thank you for your attention, help, patience, understanding!