计算机程序的正确性能证明吗?

仲萃豪同志《计算机程序的正确性能证明吗?》一文综述了国外对这一问题的进展并介绍了中国科学技术大学研究生冯玉琳在这方面具有一定创见性的研究成果。     

一个模块化操作系统的结构设计

本文介绍了一种新的操作系统结构设计方法,这种方法,是将系统分戍管程(monitor)、类程(class)和路径(path)三种基本成份,从而使系统结构模块化,提高了系统的可靠性、可维护性。本文通过一些具体实例来说明这些基本成份,并叙述从这些成份怎样构成一个系统。