尼克劳斯·沃思（Niklaus Wirth）
ACM的通信，1977年8月，第1卷。20号，第577-583页
10.1145/359763.359798
评论
编程分为三个主要类别，随着程序验证的推理的越来越复杂：顺序编程，多编程和实时编程。通过遵守严格的编程纪律，并使用此学科之后的合适的高级语言，可以大大减少有关并发和执行时间限制的理由的复杂性。这可能是使实时系统在分析上可验证并最终可靠的唯一实际方法。根据语言模式概述并表达了可能的纪律。
这篇文章全文写的很好
找不到条目
登录以阅读全文
需要访问吗？
请选择以下选项之一，以访问高级内容和功能。
创建一个Web帐户
如果您已经是ACM成员，通讯订户或数字图书馆订户，请设置一个Web帐户，以访问此网站上的高级内容。
加入ACM
成为成员充分利用ACM出色的计算信息资源，网络机会和其他好处。
订阅ACM杂志的通讯
完全访问50多年的CACM内容，并每月接收该杂志的印刷版。
购买文章
非会员可以购买本文或出现的杂志的副本。
