Provide a succinct explanation of the reasons why typical software development methodologies (Non-Formal) will not work for applications linked to medicine and aviation. In light of the aforementioned circumstances, what are the advantages of using more formal methods?

Can software engineering be summed up in terms of its main goal? So, what exactly is the problem here?

Provide a condensed description of the reasons why conventional software development approaches (Non-Formal) won't work for applications related to aviation and medical. What are the benefits of utilizing more formal approaches, taking into consideration the conditions that have been outlined above?

In the discipline of software engineering, the fundamentals are lacking. Explain?