| 范畴论在软件设计中的应用 |
| |
| 引用本文： | 屈文建.范畴论在软件设计中的应用[J].南昌大学学报(理科版),2009,33(1):1. |
| |
| 作者姓名： | 屈文建 |
| |
| 作者单位： | 南昌大学信息工程学院； 江西财经大学； |
| |
| 摘 要： | 针对范畴论在程序设计、软件架构和软件重用等方面的结合与应用,比较详细地叙述了国内外学者将范畴论应用于计算机科学的历史和现状,比较分析软件重用技术的过去和现在的不同做法,以突出范畴论的理论在实践应用中的重要性。软件重用的思想一直被软件设计者所重视,尤其发展到现
|
| 关 键 词： | 态射 软件架构 函子 软件重用 范畴论 参数化规约 |
Applications of the Category Theory for Software Design |
| |
| QU Wen-jian.Applications of the Category Theory for Software Design[J].Journal of Nanchang University(Natural Science),2009,33(1):1. |
| |
| Authors: | QU Wen-jian |
| |
| Institution: | 1.College of Information and Engineering;Nanchang University;Nanchang 330031;China;2.Jiangxi University of Econolnics;Nanchang 330013;China |
| |
| Abstract: | It discusses a few idea and methods for applying category theory in programming 、software reuse and software architecture,in detail the history and the state of current on the application in science of computer,compare and analysis the technology to the |
| |
| Keywords: | category theory functor morphism parameterized algebraic specifications software reuse software architecture |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《南昌大学学报(理科版)》浏览原始摘要信息 |
| 点击此处可从《南昌大学学报(理科版)》下载免费的PDF全文 |
