軟件工程方法為軟件開發(fā)提供了“如何做”的技術(shù)軟件工具為軟件工程方法提供了自動的或半自動的軟件支撐環(huán)境過程是為了獲得高質(zhì)量的軟件所需要完成的一系列任務框架,它規(guī)定了完成各項任務的工作步驟。最具影響的是結(jié)構(gòu)化方法、面向?qū)ο蠓椒ê托问交椒?。形式化方法用于軟件和硬件設計,使用適當?shù)臄?shù)學分析以提高設計的可靠性和。
什么是軟件開發(fā)方法?有那些主要開發(fā)方法?
軟件開發(fā)方法是利用已經(jīng)定義好的技術(shù)集合和符號表示習慣來組織軟件生產(chǎn)過程的方法。主要有結(jié)構(gòu)化方法、方法、維也納開發(fā)方法、面向?qū)ο箝_發(fā)方法。
軟件工程方法學的基本內(nèi)容包括哪些?
軟件方法論是以方法為研究對象的軟件學科。軟件工程方法為軟件開發(fā)提供“如何做”的技術(shù),軟件工具為軟件工程方法提供自動化或半自動的軟件支持環(huán)境。過程是為了獲得高質(zhì)量的軟件而需要完成的一系列任務框架,它規(guī)定了完成每項任務的工作步驟。最有影響的方法是結(jié)構(gòu)化方法、面向?qū)ο蠓椒ê托问交椒ā7椒ńY(jié)構(gòu)化方法的基本點是自頂向下、逐步求精、模塊化設計和結(jié)構(gòu)化編碼。結(jié)構(gòu)化設計方法(Structured design method)是一種基于自頂向下、逐步細化和模塊化的設計軟件的數(shù)據(jù)架構(gòu)和模塊架構(gòu)的方法論,以模塊化、抽象、逐層分解和細化、信息隱藏和本地化、保持模塊獨立性為準則。面向?qū)ο蠓椒嫦驅(qū)ο笫腔趯ο蟮母拍?,以對象為中心,以類和繼承為構(gòu)造機制,認識、理解和刻畫客觀世界,設計和構(gòu)建相應的軟件系統(tǒng)。主要特點是封裝性、繼承性和多態(tài)性。OO方法的作用和意義不僅限于編程技術(shù)。這是一種新的編程模式。面向?qū)ο缶幊谭妒绞且环N新的信息系統(tǒng)開發(fā)方法。面向?qū)ο蠓椒ㄊ且婚T新興技術(shù)。所以學習OO,也就是面向?qū)ο蟮膬?nèi)容,要有更深更廣的理解。形式化方法形式化方法是一種以數(shù)學為基礎的特殊技術(shù),適用于軟硬件系統(tǒng)的描述、開發(fā)和驗證。在軟件和硬件設計中使用形式化方法,并使用適當?shù)臄?shù)學分析來提高設計的可靠性和可靠性。然而,形式化方法的高成本意味著它們通常只用于開發(fā)注重安全性的高度集成的系統(tǒng)。