[敬请读者注意] 本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！

“8-1>8” 与软件系统研发 -- 清华园随笔(4)

程京德

[关于“清华园随笔”：作为历史记录，陆续发表或重发一些回忆文章]

    清华一直（从何时开始的，笔者没做调查）有一个口号用来号召学生们每天参加一个小时的体育锻炼：“8-1>8”，意为，每天用一个小时来进行体育锻炼，在学习上获得的整体效果，一定会大于不参加体育锻炼而把时间全部花在学习上的效果。

    笔者开始知道此口号，也还是在附中读书的时候。无论是当年在附中还是后来在大学，笔者的的确确受益于此口号。

    本随笔要重点讲的，是笔者对母校“8-1>8”这个口号的衍生推广：“做软件系统研发工程项目，花足够的时间在事前准备上，所获得的整体效果，一定会大于把可用时间从开始就全部投入到研发中去的效果。”笔者还有一个僭越身份的猜测，不仅仅是软件系统研发工程项目，是不是几乎所有领域的工程项目，都符合上面的断言？

    依据笔者本人从学生时代（当年，笔者在全国第一个软件专业读书时，本科还没有“软件工程”这门课）到做教授教书的体验和观察，学软件/计算机科学的学生，拿到问题，往往就立刻开始做程序设计；自认“厉害”的学生，甚至往往任何纸头笔头工作都不做，直接就在计算机上编程和调试。实际上，从现代软件工程的观点来看，这是软件工程管理切忌的一种绝对事倍功半的做法。

    现代软件工程正沿着形式化方法的方向稳步地持续发展，尽管我们目前还不能准确地预测出软件工程何时能够实现完全形式化和自动化，但是，这个趋势应该是不会改变的。试看，世界上哪个成熟的重要工程领域不是基于雄厚扎实的逻辑及数学基础理论的？（蛇足一句，笔者对ChatGPT可以改变软件工程的说法很是不以为然）

    如果通俗地形容以现代软件工程原理和方法论来研发软件系统，其实本质上就是笔者上面陈述的对清华“8-1>8”口号的衍生推广。所以，笔者本人在讲授“软件工程原理”课程时，总会拿清华“8-1>8”口号来作为例子，告诉学生们，实际上，“8-1>8”才是事半功倍的做法。

    （2023年12月22日记）

微信公众号“数理逻辑与哲学逻辑”