博文
- “认识程序设计”之原始创新论文
- “认识程序设计”之原始创新论文 程京德 这是本人 1996 年和 1999 年的四篇论文，开创了“认识程序设计”这一新研究方向，是笔者研究室在这一研究方向上所有工作的初始基础。现将四篇论文存放于此，一方面留作保存记录，另一方面提供给听课学生和有兴趣者获取。 顺便把论文概要翻译为中文如下 ...
- “并行程序依存性分析及应用”之原始创新论文
- “并行程序依存性分析及应用”之原始创新论文 程京德 这是本人 1992 年和 1993 年的几篇论文，开创了“并行程序依存性分析及应用”这一新研究方向，是笔者研究室在这一研究方向上所有工作的初始基础。现将这几篇论文存放于此，一方面留作保存记录，另一方面提供给听课学生和有兴趣者获取 ...
- “信息安全性工程环境”之原始创新论文
- “信息安全性工程环境”之原始创新论文 程京德 这是本人 2008 年和 2009 年的两篇论文，开创了“信息安全性工程环境”这一新研究方向，是笔者研究室在这一研究方向上所有工作的初始基础。现将两篇论文存放于此，一方面留作保存记录，另一方面提供给听课学生和有兴趣者获取。 顺便把论文 ...
- “先期推理反应系统”之原始创新论文
- “先期推理反应系统”之原始创新论文 程京德 这是本人 2002 年和 2004 年的两篇论文，开创了“先期推理反应系统”这一新研究方向，是笔者研究室在这一研究方向上所有工作的初始基础。现将两篇论文存放于此，一方面留作保存记录，另一方面提供给听课学生和有兴趣者获取。 顺便把论文概要翻 ...
- “相关推论”之原始创新论文
- “相关推论”之原始创新论文 程京德 这是本人 1998 年的两篇论文，开创了“相关推论”这一新研究方向，是笔者研究室在这一研究方向上所有工作的初始基础。现将两篇论文存放于此，一方面留作保存记录，另一方面提供给听课学生和有兴趣者获取。 顺便把论文概要翻译为中文如下： WCES-98 论文 ...
- “通用自动前推机” EnCal 和 FreeEnCal 之原始创新论文
- “通用自动前推机” EnCal 和 FreeEnCal 之原始创新论文 程京德 这是本人 1996 年和 2007 年的两篇论文，开创了“通用自动前推机”这一新研究方向，是笔者研究室在这一研究方向上所有工作的初始基础。现将两篇论文存放于此，一方面留作保存记录，另一方面提供给听课学生和有兴趣者获取。 ...
- “基于强相关逻辑演算的自动定理发现”之原始创新论文
- “基于强相关逻辑演算的自动定理发现”之原始创新论文 程京德 这是本人 1994 年和 1995 年的两篇论文，开创了“基于强相关逻辑演算的自动定理发现”这一新研究方向，是笔者研究室在这一研究方向上所有工作的初始基础。现将两篇论文存放于此，一方面留作保存记录，另一方面提 供给听课学生 ...
- 他山之石：“世界科学技术突入美中二强时代”
- 他山之石：“世界科学技术突入美中二强时代” 程京德 昨天深夜，日本经济新闻电子版发表文章，报道由日本政府文部省所辖科学技术振兴机构实施的，关于世界各国科学技术论文数量及占比的调查结果，结论为：世界科学技术从 “美国一强” 已经突入了 “美中二强” 时代。 报道说，到2015年 ...
- 未来软件工程中的新挑战
- 未来软件工程中的新挑战 程京德 这是本人三年前的一篇论文，存放在此，以方便听课学生和有兴趣者获取。 顺便把论文概要翻译为中文如下： 传统软件工程主要注目于软件可靠性。然而，今天，在这个不安全、复杂、变动的世界，任何信息/软件系统的设计、开发 、 运行和维护都必须精心地认真地 ...
