Operating systems/kernels as a whole largely deal with abstractions, and some are built to incredibly high, and in some cases mathematically proven, standards. seL4 is an example of a formally verified kernel.
Re:Is Uncle Bob serious?
by mannykannot on Tuesday October 10, 2017 @11:06AM
(#15442389)
So are you arguing that very well-defined and carefully thought-out requirements are, in practice, essential to the development of high-quality software?
That would be quite the no-brainer, wouldn't it be?
All the dancing around waterfall, agile or what ever turns around the problem that people usually don't know what their requirements are, are not able to formulate what their requirements are, but hopefully know when they see something it if something helps them or not. If we could just get people to define their requirements in all the detail needed we would take a great step forward, but looking around .. I don't see this happening in the near future.
Re:Is Uncle Bob serious?
by mannykannot on Tuesday October 10, 2017 @11:42AM
(#15442706)
I.e. Let's avoid the question of quality altogether by declaring it an unsolvable problem in the limit.
What I find interesting is that both of your examples (and many others) are for software which controls physical systems, i.e. which is pretty well defined due to the nature of the machines it controls. Do you have comparable examples which aren't defined by the physical systems they interact with?