As software grows larger and larger, there is no chance that people are able to manually audit code. Just like people make syntax mistakes, people make semantics mistakes, mis-design and mis-understand design patterns. It is not possible to manually re-audit huge projects after updates, corrections, "corrections" and refactoring. Nor is it possible to reaudit huge projects …
Displaying posts tagged: compilation
2013-05-29 9:10 pm
No Comments
First, an Ada advertisement to make people feel bad about what most software developers are missing (from practice), e.g. a beautiful love story that only a few people will have in real life:
