軟件工程課件附加材料理解

軟件的理解？首要問題是，軟件是什么？從計算的角度來理解軟件軟件=程序+文檔(百科全書)軟件的理解？

什么是程序？

算法＋數(shù)據(jù)結構

什么是算法？軟件的理解？什么是算法？算法是一組有窮的規(guī)則，這些規(guī)則給出了求解特定類型問題的運算序列。它具有五個特征：

輸入、輸出

確定性、能行性、有限性

算法的執(zhí)行者？軟件的理解？什么是軟件？

什么是程序？(文檔)

什么是算法？（數(shù)據(jù)結構）

算法的執(zhí)行者？如何定義公認的計算裝置？

裝置本身＋其上語言？軟件的理解？例子程序：f(x)=2|xX與f(x)的值以二進制表示在開始時，磁帶上只有一連續(xù)的方格串上放入相應于x的二進制值，其余方格均為空機器從狀態(tài)q1開始，磁頭掃描在x最左位所在的方格上停機時，f(x)的值就是磁帶上非空方格所組成的二進制串0：寫、移動和狀態(tài)轉(zhuǎn)換當前狀態(tài)動作

q10,R,q1q20,R,q2q30,R,q3q40,L,q4q51,L,q5q60,L,q6q7B,L,q7公認的計算裝置：圖靈機軟件的理解？圖靈機回答了軟件基本問題軟件核心是什么？

算法的精確含義理論能力有多大？

可計算性理論等基本的組成結構？

軟件=程序+文檔軟件的理解？其次的問題是：內(nèi)涵是什么？從內(nèi)容的角度來理解軟件軟件＝知識+使用

軟件的理解？GAP程序+文檔

問題求解

ＧＡＰ填補面臨三方面挑戰(zhàn)

“結果”復雜性＋“過程”可控性

“平臺”可用性軟件的理解？“結果”：計算復雜性+算法/數(shù)據(jù)結構

程序的本質(zhì)內(nèi)涵MICHAELO.RABINUnitedStates–1976DANASTEWARTSCOTTUnitedStates–1976STEPHENACOOKCanada–1982RICHARD("DICK")MANNINGKARPUnitedStates–1985JOHNEHOPCROFTUnitedStates–1986MANUELBLUMUnitedStates–1995JURISHARTMANISUnitedStates–1993ROBERT(BOB)ENDRETARJANUnitedStates–1986ANDREWCHI-CHIHYAOChina–2000LESLIEGVALIANTUnitedStates–2010DONALD("DON")ERVINKNUTHUnitedStates–1974軟件的理解？“過程”：形式化方法+語言與程序設計

軟件方法學EDSGERWYBEDIJKSTRANetherlands–1972JOHNBACKUSUnitedStates–1977ROBERT(BOB)WFLOYDUnitedStates–1978KENNETHE.("KEN")IVERSONUnitedStates–1979C.ANTONY("TONY")R.HOAREUnitedKingdom–1980NIKLAUSE.WIRTHSwitzerland–1984ARTHURJOHNROBINGORELL("ROBIN")MILNERUnitedKingdom–1991AMIRPNUELIUnitedStates–1996軟件的理解？“過程”：形式化方法+語言與程序設計

軟件方法學KRISTENNYGAARDNorway–2001ALANKAYUnitedStates–2003PETERNAURDenmark–2005EDMUNDMELSONCLARKEUnitedStates–2007E.ALLENEMERSONUnitedStates–2007BARBARALISKOVUnitedStates–2008LESLIEGVALIANTUnitedStates–2010

軟件的理解？“平臺”：編譯+操作系統(tǒng)+數(shù)據(jù)庫

系統(tǒng)軟件CHARLESWILLIAMBACHMANUnitedStates–1973EDGARF.("TED")CODDUnitedStates–1981KENNETHLANETHOMPSONUnitedStates–1983JAMES("JIM")NICHOLASGRAYUnitedStates–1998FREDERICK("FRED")BROOKSUnitedStates–1999軟件的理解？“平臺”：計算機+數(shù)值計算

硬件平臺軟件的理解？使用層面Gap跨越的可行性

可以直接用知識編程嗎？軟件的理解？知識編程的探索：途徑1：Prolog程序＝固化推理＋知識編程

知識編程機制＋推理機制途徑2：信息Web＝海量的網(wǎng)頁＋搜索引擎

開放容歧結構＋搜索機制途徑3：語義Web＝帶結構的網(wǎng)頁＋Agent

可用知識表示＋協(xié)同合作軟件的理解？新的研究方向：知件與知件工程RuqianLu,Fromhardwaretosoftwaretoknowware:IT’sthirdliberation?IEEEIntelligentSystems,2005.RuqianLu,Knowware,thethirdstarafterHardwareandSoftware,Polimetrica軟件的理解？

使用層面Gap跨越的可行性

問題求解框架下AI與SE融合軟件的理解？第三個問題：目的是什么？從使用角度來理解軟件軟件＝服務+需求軟件的理解？從使用的角度看主要背景

資源豐富+手段多樣軟件目的

滿足需求凸顯環(huán)節(jié)服務形態(tài)軟件的理解？軟件的基礎問題探索需求與服務的匹配？直接滿足/間接轉(zhuǎn)換服務的好不好問題？軟件可信性研究軟件的理解？什么樣？軟件＝程序+文檔

平臺空間含什么？軟件＝知識+使用

認知空間做什么？軟件＝服務+需求

問題空間軟件的理解？三個空間構成軟件理解的基本要素：待解