获奖奖种:国家自然科学奖
视 频
获奖时间:1989
图 片
中国科学院建院60周年展
中国科学院档案
唐稚松
内容简介:
60年百项重大成果展示
基于时序逻辑的软件工程环境的理论与设计
国家领导人与中国科学院
©1996-2009中国科学院版权所有备案序号:京icp备号地址:北京市三里河路52号邮编:e-mail:
唐稚松
中科院软件所的唐稚松研究员认为这两种方案都对提高软件生产率有着重要意义,但不应彼此分离而应紧密结合起来为此,从上世纪80年代初,他就致力于将形式化的时序逻辑语言与软件工程相结合的xyz系统的研究在1983年ifip巴黎大会上,他提出了世界上第一个可执行时序逻辑语言xyz/exyz系统是一组以xyz/e为核心的软件工程工具,包含其它面向专门应用的子语言,以及有关的辅助工具,主要包括:验证与自动生成工具,支撑逐步求精开发过程与速成原型工具,支撑模块程序设计及构件的体系设计的图形工具,语言自动转换工具等这些工具的目的在于支持软件开发的全过程这一成果被国际著名计算机专家称为软件工程领域中发展可执行时序逻辑的先驱
上世纪70年代以来,半导体线路生产自动化水平迅速提高,计算机硬件性能显著提升,而软件生产仍处于手工编制状态,生产率低下、产品可靠性差,成为计算机应用与发展的瓶颈针对这个问题美国工业界与西欧学术界提出了不同的解决方法美国工业界的方案着眼于技术,认为提高软件生产率应加强程序设计技术的研究以及软件开发支撑工具的研制;而西欧学术界则认为软件生产率低的主要原因是命令式程序语言中包含的细节太多,致使可读性和可维护性差,因此应设计一种直接表示程序含义的形式化规范语言来书写程序,然后再转换成有效的执行程序,其关键是关于形式化程序语义理论与规范语言的研究
获奖等级:1
第一完成单位: 软件研究所
国家最高科学技术奖
当前位置:首页>> 60年百项重大成果展示
中国科学院与“两弹一星”