EROS: A Principle-Driven Operating System from the Ground Up

Design principles are one of the most advocated ideas in software construction, but they are rarely systematically applied. They are particularly critical ...