編輯推薦
書中提供了大量的練習和案例分析,既有助於讀者理解書中介紹的理論知識,又可以讓讀者親身體驗如何應對複雜的實現問題。
內容簡介
本書介紹了軟體工程的基本原理,並展示了這些原理在軟體開發的不同階段的套用。書中還對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