1
Можно ли формализовать сквозной принцип?
В конце 1990-х, когда я учился в аспирантуре, газета JH Saltzer; DP Reed; Д. Д. Кларк: Сквозные аргументы в дизайне системы . ACM Trans. Вычи. Сист. 2 (4): 277-288, 1984. DOI = 10.1145 / 357401.357402 в каждом классе операционных систем в каждом университете требовалось чтение, и это все еще кажется …