Finding real-world kernel subsystems
Finding real-world kernel subsystems
Posted Feb 2, 2021 19:55 UTC (Tue) by nix (subscriber, #2304)Parent article: Finding real-world kernel subsystems
Sorry, does this follow at all? It doesn't seem to do so to me. This is only the case if we know that the defined process in question is a local or global maximum in terms of the process producing high-quality software. Just looking at an existing process and formalizing it does not imply in any way that sticking to that formal model will generate higher-quality software, just that it's sticking closely to the model that the software's development process was already following: if that process was bad, following a formal model of it will produce bad software. This seems likely to me to (at best) be a wash in terms of quality, on the average.