论文部分内容阅读
ＳＴＡＴＥＭＡＴＥ系统是一个颇有国际影响的软件开发环境，它是专门针对大型、复杂的Ｒｅａｃｔｉｖｅ系统开发的。作者对该系统作了深入剖析，并对其思想实质和设计哲学进行了论述；指出其主要特色是形式可视主义和可执行规约，它既面向人，又面向机器。在此基础上提出了开发环境要注意设计合理的人机功能分配和提高源码压缩比的思想，最后提出了实现我国自己的大型Ｒｅａｃｔｉｖｅ系统的策略。