OCTADE
@octade@soc.octade.net
"Software engineering must be regulated in a manner similar to civil engineering and electrical engineering with respect to reliability, safety, and security."I believe that the U.S. military tried to do this with the Ada programming language. It seems they had a goal to make everything auditable and verifiable. I haven't studied it in depth so I can only surmise.