Key points are not available for this paper at this time.
여기에는 모든 활동이 여러 개의 순차 프로세스에 걸쳐 나누어지는 다중 프로그래밍 시스템이 설명되어 있다. 이러한 순차 프로세스는 여러 계층적 수준에 배치되며, 각 수준에는 하나 이상의 독립적인 추상화가 구현되어 있다. 계층 구조는 설계의 논리적 타당성과 구현의 정확성을 검증하는 데 필수적임이 입증되었다.
Edsger W. Dijkstra (Wed,) 이 질문을 연구했다.