軟體工程基礎(中國電力出版社出版圖書)

《軟體工程基礎》是2006年由中國電力出版社出版的圖書，作者是（意）蓋伊曼德若利。本書通過嚴格的形式化方法和非形式化方法闡述了軟體工程原則和方法的重要性，有選擇地介紹了軟體工程基礎；強調並確定了適用於整個軟體生命期的基本原則，全面而深入地介紹了這些基本原則在軟體設計、規範、驗證、軟體生產過程和管理活動中的運用。

基本介紹

• 書名：軟體工程基礎
• 作者：（意）蓋伊曼德若利
• ISBN：9787508338767
• 定價：58.00
• 出版社：中國電力出版社
• 出版時間：2006
• 開本：16

編輯推薦

書中提供了大量的練習和案例分析，既有助於讀者理解書中介紹的理論知識，又可以讓讀者親身體驗如何應對複雜的實現問題。

內容簡介

本書介紹了軟體工程的基本原理，並展示了這些原理在軟體開發的不同階段的套用。書中還對20多個案例進行了深入研究，展示了如何處理錯綜複雜的現實問題。

第二版保留了第一版成功的組織結構，並增加了關於軟體工程中新近開發的內容。

第二版新增內容包括：

更徹底地討論了面向對象。

作者簡介

CarloGhezzi，米蘭工業大學計算機科學教授，主講軟體工程。鑒於他對軟體工程研究方面的貢獻，美國計算機協會於2000年授予其名譽會員稱號。

MehdiJazayeri維也納工業大學計算機科學教授，主講分散式系統。他曾經在美國矽谷做過多年的軟體開發，包括在美國加州的惠普實驗室那10年的經歷。

DinoMandrioli米蘭工業大學計算機科學教授，主講計算機科學原理。他的研究興趣主要是軟體工程實踐中的形式化方式。

目錄

Chapter1SoftwareEngineering：APreview

1.1TheRoleofSoftwareEngineeringinSystemDesign

1.2AShortenedHistoryofSoftwareEngineering

1.3TheRoleofTheSoftwareEngineer

1.4TheSoftwareLifeCycle

1.5TheRelationshipofSoftwareEngineeringtoOtherAreasofComputerScience

1.5.1ProgrammingLanguages

1.5.2OperatingSystems

1.5.3DataBases

1.5.4ArtificialIntelligence

1.5.5TheoreticalModels

1.6TheRelationshipofSoftwareEngineeringtoOtherDisciplines

1.6.1ManagementScience

1.6.2SystemsEngineering

1.7ConcludingRemarKsBibliographicNotes

Chapter2Software：ItsNatureandQualities

2.1ClassificationofSoftwareQualities

2.1.1ExternalVersusInternalQualities

2.1.2ProductandProcessQualities

2.2RepresentativeQualities

2.2.1Correctness，Reliability,andRobustness

2.2.2Performance

2.2.3Usability

2.2.4Verifiabilitv

2.2.5Maintainabilitv

2.2.6Reusability

2.2.7Portability

2.2.8Understandability

2.2.9Interoperability

2.2.10Productivity

2.2.11Timeliness

2.2.12Visibility

2.3QualityRequirementsinDifferentApplicationAreas

2.3.1InformationSystems

2.3.2Real-TimeSystems

2.3.3DistributedSystems

2.3.4EmbeddedSystems

2.4MeasurementofQuality

2.5ConcludingRemarksFUrtherExercisesHintsandSketchySolutionsBibliographicNotesCha

pter3SoftwareEngineeringPrinciples.

3.1RigorandFormality

3.2SeparationofConcerns

3.3Modularitv

3.4Abstraction

3.5AnticipationofChange

3.6Generality

3.7Incrementality

3.8TwoCaseStudiesIllustratingSoftwareEngineeringPrinciples

3.8.1ApplicationofSoftwareEngineeringPrinciplestoCompilerConstruction

3.8.2ACaseStudyinSystemEngineering

3.9ConcludingRemarksFurtherExercisesHintsandSketchySolutions

BibliographicNotes

Chapter4DesignandSoftwareArchitectureChapter5Specification

Chapter5Specification

Chapter6Verification

Chapter7TheSoftwareProductionProcess

Chapter8ManagementofSoftwareEngineering

Chapter9SoftwareEngineeringToolsandEnvironments

Chapter10Epilogue

Appendix

CaseStudies

Bibliography

Index