软件工程基础
版权信息书 名: 软件工程基础
作者：(意)盖伊曼德若利
出版社：中国电力出版社
出版时间： 2006
ISBN: 9787508338767
开本： 16
定价: 58.00 元
内容简介本书通过严格的形式化方法和非形式化方法阐述了软件工程原则和方法的重要性，有选择地介绍了软件工程基础；强调并确定了适用于整个软件生命期的基本原则，全面而深入地介绍了这些基本原则在软件设计、规范、验证、软件生产过程和管理活动中的运用；书中提供了大量的练习和案例分析，既有助于读者理解书中介绍的理论知识，又可以让读者亲身体验如何应对复杂的实现问题。
第二版保留了第一版成功的组织结构，并增加了关于软件工程中新近开发的内容。
第二版新增内容包括：
更彻底地讨论了面向对象。
作者简介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