軟件工程課程教學大綱

軟件工程

第二版

教材配套光盤

楊文龍古天龍譚火彬

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

第1篇軟件、軟件工程與軟件工程模式第1章軟件和軟件工程軟件的含義軟件的特點軟件的種類軟件危機軟件工程的定義軟件工程的發(fā)展和問題11軟件工程講義-

第2章軟件工程模式

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

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

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

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

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

時態(tài)邏輯時態(tài)邏輯線性邏輯計算樹邏輯模型驗證16軟件工程講義-

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

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