结构化与面向对象方法是当前两种最具代表性的软件工程与方法学。本书系统地介绍结构化和面向对象方法的基本概念、基础理论和主要技术。全书分为八章。第一章介绍软件方法学的形成及发展、软件危机、软件生存周期、软件开发模型及方法。第二章到第四章介绍结构化程序、程序形式化推导及变换技术、结构化分析与设计方法、程序测试与正确性证明。第五章至第七章介绍面向对象基本概念、基本特征,面向对象分析与设计方法、面向对象程序设计等。最后一章讨论软件质量模型和软件维护。
本书适合于计算机研究和软件开发人员阅读,也可用作高等院校高年级学生和研究生教材或参考书。
