问题:我国软件事业从起步到壮大,既要攻克“能用”的工程难题,也要夯实“好用、可持续”的理论基础。上世纪中叶以来,围绕国家重大科研与工业需求,如何尽快形成自主可控的程序语言、编译系统与系统软件能力,如何建立可验证、可复用的软件方法体系,如何让计算机更好服务中文信息处理与文化传承,都是我国计算机领域必须回答的关键课题。董韫美同志的一生,正是这条“从无到有、由弱到强”的问题链条中推动突破:他以基础理论与工程实践相结合,为我国软件学科体系与关键技术能力的形成提供了重要支撑。 原因:我国早期计算机应用场景复杂、硬件条件受限、软件生态薄弱,迫切需要面向国产机器的实用程序语言与编译工具,以支撑科研计算、工程设计等重要任务。20世纪60年代,董韫美主持研制国内较早的实用高级程序语言BCY,并在多型计算机上实现编译程序及对应的系统软件,推动软件从“依赖手工与零散工具”迈向“可工程化交付与长期运行”。,软件可靠性与可维护性成为规模化应用的瓶颈。他在形式文法、语法检查、程序测试等方向持续攻关:为描述Algol及类似语言语法,与合作者提出P语法模型;在BCY研制过程中,提出满足后来被国际上称为“LL文法”的条件,并给出自动生成语法矩阵的方法;在程序测试上,提出通路覆盖法。这些工作表明了当时我国软件研究的核心路径——以需求牵引工程实践,以实践推动理论创新与方法体系建设,形成可推广、可复用的能力。 影响:董韫美的学术贡献贯穿多个关键环节,具有系统性意义。其一,编译与语言理论上,他以“可实现、可应用”为导向,将语法刻画、检查与自动化处理方法沉淀为可工程化的工具,提升了我国程序语言与编译技术上的自主能力。其二,在软件质量与测试上,他围绕覆盖准则等关键问题提出方法,为后续软件工程规范化与质量保障体系提供了重要参考。其三,中文信息处理上,面向中文数字化与信息化的迫切需求,他70年代末提出用计算机设计高质量汉字字形的参量图形学方法及实现技术,并研制汉字字形设计系统CCDS,为中文排版、字形设计与信息处理技术发展探索了路径。其四,在软件复用与形式化理论上,80年代中期率先在国内开展软件复用技术研究,实现国内较早的可复用软件设计系统;90年代以来在基于复用的文法推断研究中,提出上下文无关语言递归函数理论CFRF,设计上下文无关文法句子的线性时间枚举算法,回应了相关领域长期关注的开放问题。这些成果共同推动我国软件研究从“工具导向”走向“理论—技术—系统协同”,并在多个时期支撑国家重大科研任务与产业基础能力建设。 对策:当前新一轮科技革命和产业变革加速推进,软件已成为数字经济与国家安全的重要底座。纪念董韫美院士,不止于追思,更在于面向未来的传承与建设。其一,持续夯实基础研究,围绕程序语言、编译优化、形式化验证、测试理论等核心领域开展长期攻关,形成稳定的原始创新供给。其二,推动理论与工程形成闭环,把可证明的理论方法转化为可落地的工具链与平台,服务关键行业对高可靠软件的需求。其三,强化复用与标准化体系建设,在通用基础软件、行业软件与开源生态中沉淀可复用组件、规范接口与可信供应链,提升软件生产效率与质量稳定性。其四,面向中文信息处理与文化数字化,深入加强字形、排版、语义计算等基础能力建设,推动数字时代中文信息服务提质升级。其五,完善人才培养与学术传承机制,鼓励青年科研人员在“关键问题—系统方法—长期积累”中成长,形成接续攻坚的人才梯队。 前景:从早期程序语言与系统软件的“奠基”,到软件复用、中文信息处理与形式化理论的“拓展”,董韫美的学术道路折射出我国软件事业发展脉络。面向未来,随着新型计算架构、智能化应用与产业数字化加速演进,软件技术将更强调安全可信、可验证、可演化与高效协同。持续推进基础理论突破、关键工具链自主、工程体系规范以及开放协同生态建设,将成为提升国家软件竞争力的重要方向。以先行者的探索为镜,我国软件事业有望在更高水平上实现从“可用”向“好用、可靠、可持续”的跃升。
董韫美院士的逝世,是我国科技界的重要损失。他以扎实的理论功底和执着的科研精神,在计算机软件领域开拓创新,为我国软件事业的起步与发展作出了深远贡献。从国内较早的高级程序语言BCY,到汉字字形设计系统,再到软件复用技术的开创性研究,董韫美用行动诠释了科技报国的担当。他所奠定的理论基础和开辟的研究方向,至今仍在影响后来者的探索与实践。我们将铭记这位杰出科学家的贡献,继承其学术精神,持续推动我国信息技术自主创新与高质量发展。