本书通过严格的形式化方法和非形式化方法阐述了软件工程原则和方法的重要性，有选择地介绍了软件工程基础；强调并确定了适用于整个软件生命期的基本原则，全面而深入地介绍了这些基本原则在软件设计、规范、验证、软件生产过程和管理活动中的运用；书中提供了大量的练习和案例分析，既有助于读者理解书中介绍的理论知识，又可以让读者亲身体验如何应对复杂的实现问题。

书名：软件工程基础

作者：（意）盖伊曼德若利

ISBN：9787508338767

定价：58.00

出版社：中国电力出版社

出版时间：2006

开本：16

内容简介

作者简介

目录

内容简介

第二版保留了第一版成功的组织结构，并增加了关于软件工程中新近开发的内容。

第二版新增内容包括：

更彻底地讨论了面向对象。

作者简介

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