-
軟件工程基礎
(2006年中國電力出版社出版的圖書)
鎖定
《軟件工程基礎》是2006年由中國電力出版社出版的圖書,作者是(意)蓋伊曼德若利。本書通過嚴格的形式化方法和非形式化方法闡述了軟件工程原則和方法的重要性,有選擇地介紹了軟件工程基礎;強調並確定了適用於整個軟件生命期的基本原則,全面而深入地介紹了這些基本原則在軟件設計、規範、驗證、軟件生產過程和管理活動中的運用。
[1]
- 書 名
- 軟件工程基礎
- 作 者
- (意)蓋伊曼德若利
- 出版社
- 中國電力出版社
- 出版時間
- 2006年
- 定 價
- 58.00
- 開 本
- 16 開
- ISBN
- 9787508338767
軟件工程基礎編輯推薦
書中提供了大量的練習和案例分析,既有助於讀者理解書中介紹的理論知識,又可以讓讀者親身體驗如何應對複雜的實現問題。
軟件工程基礎內容簡介
第二版保留了第一版成功的組織結構,並增加了關於軟件工程中新近開發的內容。
第二版新增內容包括:
更徹底地討論了面向對象。
軟件工程基礎作者簡介
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
- 參考資料
-
- 1. 軟件工程基礎 .中國國家圖書館[引用日期2016-05-20]