范畴论在软件设计中的应用

作     者：屈文建 QU Wen-jian

作者机构：南昌大学信息工程学院江西南昌330031 江西财经大学江西南昌330013 

出 版 物：《南昌大学学报（理科版）》 (Journal of Nanchang University(Natural Science))

年 卷 期：2009年第33卷第1期

页      码：90-97页

摘      要：针对范畴论在程序设计、软件架构和软件重用等方面的结合与应用,比较详细地叙述了国内外学者将范畴论应用于计算机科学的历史和现状,比较分析软件重用技术的过去和现在的不同做法,以突出范畴论的理论在实践应用中的重要性。软件重用的思想一直被软件设计者所重视,尤其发展到现在更是如此;程序员的职责不再只是单纯编制程序,而且还应该应用科学理论创造新方法工具,架设沟通理论与工程之间的桥梁;突出程序设计中的创造性特点,把理论和实践结合起来,以求程序设计的精确和完美。

主 题 词：范畴论 函子 态射 参数化规约 软件重用 软件架构 

学科分类：08[工学] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1006-0464.2009.01.023

馆 藏 号：203187606...