余代数及其在软件方法学中的应用
批准号：
60473056
项目类别：
面上项目
资助金额：
22.0 万元
负责人：
张乃孝
依托单位：
学科分类：
软件理论、软件工程与服务
结题年份：
2007
批准年份：
2004
项目状态：
已结题
项目参与者：
孙猛、陈光、范少锋
项目摘要
结项摘要
项目成果
张乃孝的其他基金
相似基金
相关文献
中文摘要
代数和余代数均提供了对计算机科学中的若干模型的抽象描述，而两者数学上的对偶性，使得它们分别适于从构造和观察的角度研究抽象数据类型和系统的性质。本项目计划以余代数作为理论工具，对软件开发方法进行深入研究。对于构件化软件的理论基础，包括组件的语义模型，软件体系结构，统一建模语言UML的形式语义和一致性，以及软件系统的精化和验证等问题进行探讨。通过本项研究，可望在组件交互和协作的形式化模型、组件规范及精化的正确性、软件系统不同模型的一致性等方面取得创新性的成果，填补国内余代数理论在软件方法学应用方面的研究空白。本项研究对于解决软件开发的正确性、可靠性，推动构件化软件技术及软件方法学的发展，具有重要意义。
英文摘要
期刊论文列表
专著列表
科研奖励列表
会议论文列表
专利列表
登录
查看更多内容
DOI：
--
发表时间：
--
期刊：
（投中国科学，已通过专家初审）
影响因子：
--
作者：
[]
通讯作者：
Evolving While-Loop Structures
不断发展的 While 循环结构
不断发展的 While 循环结构
DOI：
--
发表时间：
--
期刊：
影响因子：
--
作者：
[Guang Chen, Mengjie Zhang]
通讯作者：
Guang Chen, Mengjie Zhang
DOI：
--
发表时间：
--
期刊：
计算机科学, Vol.34(1): pp.21-25, 2007.
影响因子：
--
作者：
[范少锋,张乃孝,赵新宇.]
通讯作者：
范少锋,张乃孝,赵新宇.
Components as Coalgebras: the
作为余代数的分量：
作为余代数的分量：
DOI：
--
发表时间：
--
期刊：
影响因子：
--
作者：
[Sun Meng, Luis S. Barbosa]
通讯作者：
Sun Meng, Luis S. Barbosa
Using UML for Specification an
使用 UML 进行规范
使用 UML 进行规范
DOI：
--
发表时间：
--
期刊：
影响因子：
--
作者：
[Sun Meng, Yang Hongli, Zhang N]
通讯作者：
Sun Meng, Yang Hongli, Zhang N
共 7 条
面向语言的领域语言开发方法
-
批准号：60273001
-
项目类别：面上项目
-
资助金额：22.0万元
-
批准年份：2002
-
负责人：张乃孝
-
依托单位：
具体领域软件的自动生成
-
批准号：69983001
-
项目类别：专项基金项目
-
资助金额：13.0万元
-
批准年份：1999
-
负责人：张乃孝
-
依托单位：
软件开发的形式方法与变换型语言族
-
批准号：69683006
-
项目类别：专项基金项目
-
资助金额：11.0万元
-
批准年份：1996
-
负责人：张乃孝
-
依托单位：
软件开发的形式方法与POLYA语言
-
批准号：69283005
-
项目类别：专项基金项目
-
资助金额：7.0万元
-
批准年份：1992
-
负责人：张乃孝
-
依托单位：
国内基金
海外基金