|
业师徐家福先生，字筱棠，江苏南京人，我国计算机软件奠基人之一。生于1924年11月18日（农历）。1937年小学毕业，考入南京一中，值八一三事变，抗日战争爆发，辍学在家，翌年在武汉考入国立东北中学，�身离家，随校至湖南宝庆桃花坪。是年冬，日寇陷武汉，长沙，东中决定迁川，辗转数月，1939年9月续弦歌于四川自流井静宁寺。1941年初中毕业，学校被迫解散，步行600余里，至川北三台，就读于国立第十八中学。1944年高中毕业，考入国立中央大学理学院数学系，1948年毕业，留校任助教，1953年任南京大学讲师。1957年赴苏联莫斯科大学修习程序设计，师从M.P.III y p a-Bypa（舒拉布拉）教授，1959年回国，1981年任南京大学教授，成为当时全国两名计算机软件专业博士生导师之一。
徐师从20世纪50年代后期起即致力于计算机软件研究，主要侧重“软件语言”、“新型程序设计”以及“软件自动化”等方面。曾主持并参与研制成14个软件系统，发表学术论文158篇，出版著作8本，获奖20次。
在软件语言方面，主要成果有：J-501机上的Algol语言编译系统，103机上的Algol语言编译系统，Algol国标、Cobol国标的制定，系统程序设计语言XCY 的设计与实现，软件设计规约语言GSPEC，软件功能规约语言FGSEC ，软件需求定义语言NDRDL，以及软件需求定义语言NDORL。
J-501机上的Algol编译系统是国内第一个可用的Algol编译系统。根据使用低级语言编程的切身体验，徐师决心研究高级语言，使程序人员解脱低级语言程序设计的烦琐细节。1964年8月领导由南京大学与华东计算所共8 人组成的研制组（我有幸为8人之一）合作研制，于1965 年6 月调试完毕，这是一项成功的合作范例。工作中贯彻了领导统一，意志集中，力量集中，技术上体现了严格要求，矛盾分散，着眼实用三原则。系统完成后，用于国防建设与国计民生中各种计算问题，起了颇为重要的作用。
系统程序设计语言XCY 的设计源于提高系统程序人员编程之实效，使编译程序与操作系统亦能用高级语言书写。1978年徐师与中科院计算所仲萃豪、北京大学杨芙清合作设计并实现了XCY 。其特征是，概念简明，规模适度，兼顾顺序程序设计与并发程序设计，和机器有关的部分尽可能局部化，以便于扩充和移植。徐师曾代表研制组在第八届世界计算机大会（即IFIP'80, 1980 年10月，日本东京）上报告《On the Design, Implementation and Use of the Systems Programming Language XCY》一文（这是我国首次在Information Processing上发表的文章），苏联科学院院士AПEpш?в（叶尔绍夫）说：“这项工作不论在理论上还是实践上都是很有意义的，其中模块的定义与处理很有特色。”
软件规约语言GSPEC 与FGSPEC 是为了书写设计规约与功能规约，以实现软件自动化而设计的。工作中结合指导博士论文，成立了研制组。GSPEC 用以书写设计规约，FGSPEC 用以书写功能规约。前者兼顾图形与正文，形象易读，表达力强，后者是在GSPEC的基础上，增添前、后断言等函数功能描述设施，扩充成既能书写设计规约又能书写功能规约的语言， 二者均已在SUN 工作站上实现。
需求定义语言NDRDL与NDORL均用于书写软件需求定义。前者基于功能分解风范，具层次性，综合应用非形式、半形式、形式三种表示，后者为一面向对象语言，二者均具形象易读、表达力强、便于转换等特点，于1995年在SUN 工作站上实现。
在新型程序设计方面，主要成果有：数据驱动式并行归约机模型FPMND与并行推理系统NDPIS。前者是基于函数式语言FP的归约机模型。其宿主机是M-16微机，处理部件是ibs86/12A单片机，但其运行数据已显示出FP语言的固有优越性。后者实现了自行设计的核心语言KLND ，并提出了“置换驱动”、“超程序”等新概念，具有重要的科学意义和实际价值。
在软件自动化方面，主要成果有：软件自动产生系统NDHD，软件自动化系统NDAUTO, NDAUTO/SUN, 元级转换系统NDTPS，算法设计自动化系统NDADAS，归纳程序综合系统NDIPS，自学习软件自动化系统NDSAIL ，层次式面向对象需求模型NDHOOM 及其支撑系统，基于NDRDL语言的软件需求分析自动化系统，以及面向对象软件需求分析支撑系统NDORASS。 其中NDHD是和华东计算所合作研制的一个基于自编译思想、主要用于书写编译程序的系统，1978年在655机上实现。实践表明，使用该系统开发编译程序，生产率可显著提高。NDAUTO 、NDAUTO/SUN 均以自行设计的设计规约语言GSPEC 为基础，采用转换与过程化相结合的途径，实现从设计规约到Pascal代码间的自动转换。NDTPS 以元语言Trapml为基础，面向多种语言与多种转换策略，实现自动转换。NDADAS 以功能规约语言FGSPEC为基础，采用演绎与转换相结合的途径，兼以启发性设施，实现从非算法性的功能规约到算法性的设计规约之间的自动/ 半自动转换。NDIPS是一个采用交互方式，在SUN 工作站上实现的从反映程序性态的输入/ 输出实例到完整的prolog程序的自动生成的系统。NDSAIL具有自学习功能，系统的知识与解题能力可在与用户交互中不断扩充。NDHOOM 是介于非形式需求定义和软件形式功能规约之间的一种中间形式。NDRASS 基于需求定义语言NDRDL，能将用NDRDL 书写的软件需求定义中的功能性部分自动转换成Z规约、并较好地解决了多视观之间的一致性等问题。NDORASS则以NDORL 为基础支持逐步精化的对象分析与建模，实现需求定义各成份的完整性与一致性检查，在面向对象架构下实现图形化需求定义到形式功能规约的转换。
徐师自1948 年秋起，在中大、南大任教达55 年。先后主讲过微积分、微分方程、数学分析、计算方法、舍入误差、电子计算机、程序设计、程序设计自动化、算法语言、编译技术、系统程序设计语言、软件自动化等课程。所授各课无不精选内容，精心备课，注意交代来龙去脉，尤其注重基本概念，讲解能深人浅出，引人人胜，除讲授知识、启发自学外，并能身教、言教，晓以为人之道，堪称良师。自1981 年起，先后共招收博士研究生24名，而毕业获博士学位者仅16 人，淘汰率之大，国内实属罕见。其门第子于今均为各单位之骨干。“师严然后道尊”，言之不虚也。
徐师为人重气节，爱憎分明，刚正不阿，对人诚信忠厚，好与人争。八年抗战，全国同胞深受日寇侵华之苦。1945年8月15 日，日本无条件投降，全国军民欣喜若狂。徐师当时在重庆国立中央大学就读， 立即赋诗为念，其诗曰：“倭奴投降日，举国尽欢腾，引领高歌罢，奋读慰忠魂。”1985 年日本一机构邀请徐师一行去日本合作，在福冈游览时，日人曾将汽车停在一标以“破元寇处”之石碑下，妄图使我等在此石碑下留影，徐师顿时火从中来，挥手命朝石碑往者止步返回，对方悟其鬼计已被识破，立即登车而往它处。类似事件不一而足。
纵观徐师一生，道德文章堪称楷模，深令我等门弟子仰慕学习，永志不忘。
|
