南昌大学学报(理科版)
南昌大學學報(理科版)
남창대학학보(이과판)
JOURNAL OF NANCHANG UNIVERSITY(NATURAL SCIENCE)
2009年
1期
90-97
,共8页
范畴论%函子%态射%参数化规约%软件重用%软件架构
範疇論%函子%態射%參數化規約%軟件重用%軟件架構
범주론%함자%태사%삼수화규약%연건중용%연건가구
针对范畴论在程序设计、软件架构和软件重用等方面的结合与应用,比较详细地叙述了国内外学者将范畴论应用于计算机科学的历史和现状,比较分析软件重用技术的过去和现在的不同做法,以突出范畴论的理论在实践应用中的重要性.软件重用的思想一直被软件设计者所重视,尤其发展到现在更是如此;程序员的职责不再只是单纯编制程序,而且还应该应用科学理论创造新方法工具,架设沟通理论与工程之间的桥梁;突出程序设计中的创造性特点,把理论和实践结合起来,以求程序设计的精确和完美.
針對範疇論在程序設計、軟件架構和軟件重用等方麵的結閤與應用,比較詳細地敘述瞭國內外學者將範疇論應用于計算機科學的歷史和現狀,比較分析軟件重用技術的過去和現在的不同做法,以突齣範疇論的理論在實踐應用中的重要性.軟件重用的思想一直被軟件設計者所重視,尤其髮展到現在更是如此;程序員的職責不再隻是單純編製程序,而且還應該應用科學理論創造新方法工具,架設溝通理論與工程之間的橋樑;突齣程序設計中的創造性特點,把理論和實踐結閤起來,以求程序設計的精確和完美.
침대범주론재정서설계、연건가구화연건중용등방면적결합여응용,비교상세지서술료국내외학자장범주론응용우계산궤과학적역사화현상,비교분석연건중용기술적과거화현재적불동주법,이돌출범주론적이론재실천응용중적중요성.연건중용적사상일직피연건설계자소중시,우기발전도현재경시여차;정서원적직책불재지시단순편제정서,이차환응해응용과학이론창조신방법공구,가설구통이론여공정지간적교량;돌출정서설계중적창조성특점,파이론화실천결합기래,이구정서설계적정학화완미.