Software Engineering Fundamentals

Each line of code is an opportunity for a bug to occur: Keep programs as short as possible.

Bugs will only be fixed if the code paths they lie in are executed: Have tests and testers.

No one language is best at everything: Use appropriate tools for each job.

To maintain simplicity you need to build on top of previous work: Divide code into logical modules/libraries that can ge reused.

Each line of code is an opportunity for static verification: Program in Ada or Ada SPARK

Bugs will only be fixed if the static analysis tools catch them: Use Ada or Ada SPARK

No Ada dialect is best at everything: Use Ada or Ada SPARK

To maintain simplicity you need to build on top of previous work: Use Ada or Ada SPARK