軟件工程課程教學(xué)大綱

軟件工程

第二版

教材配套光盤(pán)

楊文龍古天龍譚火彬

電子工業(yè)出版社2006-11課程教學(xué)大綱2本課程適用于計(jì)算（機(jī)）學(xué)科所有子學(xué)科（計(jì)算機(jī)科學(xué)、計(jì)算機(jī)工程、軟件工程、信息系統(tǒng)和信息技木）的大學(xué)研究生、本科和專(zhuān)科學(xué)生的教學(xué)。本課程也適用于從事軟件產(chǎn)業(yè)和職業(yè)的技術(shù)和管理人員的教學(xué)。3軟件工程講義-本章內(nèi)容安排課程性質(zhì)課程目的課程要求相關(guān)課程課程的主要內(nèi)容課程實(shí)踐其它問(wèn)題制作本光盤(pán)的說(shuō)明4軟件工程講義-課程性質(zhì)《軟件工程》是計(jì)算（機(jī)）各專(zhuān)業(yè)的核心（必修）課，具有很高的科學(xué)性、工程性、綜合性和實(shí)踐性5軟件工程講義-課程目的-介紹如何運(yùn)用工程學(xué)的原理和方法來(lái)組織和管理軟件的開(kāi)發(fā)、運(yùn)行和維護(hù)-保證軟件產(chǎn)品開(kāi)發(fā)、運(yùn)行和維護(hù)的高質(zhì)量和高生產(chǎn)率6軟件工程講義-課程要求系統(tǒng)地了解軟件工程目前發(fā)展的水平和現(xiàn)狀初步掌握軟件工程的有關(guān)原理和方法為今后深入學(xué)習(xí)和工作打下一個(gè)良好的基礎(chǔ)7軟件工程講義-相關(guān)課程前修課程高等數(shù)學(xué)、線(xiàn)性代數(shù)、概率與統(tǒng)計(jì)離散數(shù)學(xué)、算法與數(shù)據(jù)結(jié)構(gòu)計(jì)算機(jī)硬件基礎(chǔ)操作系統(tǒng)、程序設(shè)計(jì)語(yǔ)言、數(shù)據(jù)庫(kù)后修課程畢業(yè)論文/設(shè)計(jì)8軟件工程講義-課程主要內(nèi)容：5篇10章5篇：1軟件、軟件工程和軟件工程模式2軟件開(kāi)發(fā)方法3質(zhì)量與質(zhì)量保證4計(jì)劃與管理5工具與環(huán)境9軟件工程講義-10章：1軟件和軟件工程2軟件工程模式3結(jié)構(gòu)化開(kāi)發(fā)方法4面向?qū)ο箝_(kāi)發(fā)方法5形式化開(kāi)發(fā)方法(1)5形式化開(kāi)發(fā)方法(2)5形式化開(kāi)發(fā)方法(3)6軟件質(zhì)量與質(zhì)量保證7軟件測(cè)試8軟件維護(hù)9軟件開(kāi)發(fā)計(jì)劃與管理10軟件開(kāi)發(fā)工具與環(huán)境10軟件工程講義-

第1篇軟件、軟件工程與軟件工程模式第1章軟件和軟件工程軟件的含義軟件的特點(diǎn)軟件的種類(lèi)軟件危機(jī)軟件工程的定義軟件工程的發(fā)展和問(wèn)題11軟件工程講義-

第2章軟件工程模式

瀑布模型原型開(kāi)發(fā)模型螺旋模型四代技術(shù)混合模型面向?qū)ο笊嫫谀Ｐ徒y(tǒng)一軟件開(kāi)發(fā)模型基于構(gòu)件的軟件開(kāi)發(fā)Web服務(wù)軟件開(kāi)發(fā)過(guò)程的小結(jié)軟件工程模式12軟件工程講義-第2篇軟件開(kāi)發(fā)方法第3章結(jié)構(gòu)化(傳統(tǒng))開(kāi)發(fā)方法需求與需求分析結(jié)構(gòu)化分析軟件設(shè)計(jì)面向數(shù)據(jù)流的設(shè)計(jì)面向數(shù)據(jù)結(jié)構(gòu)的設(shè)計(jì)PAD圖的設(shè)計(jì)原型開(kāi)發(fā)13軟件工程講義-第4章面向?qū)ο箝_(kāi)發(fā)方法

面向?qū)ο蠓椒ǖ陌l(fā)展面向?qū)ο蠓椒ǖ幕靖拍蠲嫦驅(qū)ο蟮姆治雠c設(shè)計(jì)Booch的面向?qū)ο蠓椒∣MT對(duì)象建模技術(shù)統(tǒng)一建模語(yǔ)言UMLRational統(tǒng)一過(guò)程RUP實(shí)例：課程登記系統(tǒng)14軟件工程講義-

第5章形式化開(kāi)發(fā)方法(1)

形式化方法的定義、特點(diǎn)、分類(lèi)和問(wèn)題Petri網(wǎng)示例-四季系統(tǒng)ΣPetri網(wǎng)的定義Petri網(wǎng)的基本原理-靜態(tài)結(jié)構(gòu)Petri網(wǎng)的基本原理-動(dòng)態(tài)特征建模實(shí)例特性分析Petri網(wǎng)的特性分析方法改進(jìn)Petri網(wǎng)及其應(yīng)用時(shí)間網(wǎng)和隨機(jī)網(wǎng)從Petri網(wǎng)到程序結(jié)構(gòu)的轉(zhuǎn)換實(shí)例:應(yīng)用Petri網(wǎng)實(shí)現(xiàn)資源共享15軟件工程講義-

第5章形式化開(kāi)發(fā)方法(2)

時(shí)態(tài)邏輯時(shí)態(tài)邏輯線(xiàn)性邏輯計(jì)算樹(shù)邏輯模型驗(yàn)證16軟件工程講義-

第5章形式化開(kāi)發(fā)方法(3)

Z（一）概述（二）表示抽象 （1）集合、關(guān)系及函數(shù) （2）序列和包（3）自由類(lèi)型（4）公理描述（5）模式（三）操作抽象（1）模式運(yùn)算及合成