wenyanyihujiu的博客

1.以UML为载体，将面向对象的分析设计思想巧妙地融入建模过程中；2.通过贯穿全书的实例将软件系统开发过程中方方面面的知识有机地结合在一起；3.用生动的语言和精彩的事例将复杂枯燥的软件过程讲解得津津有味。

软件形式化方法：是指建立在严格数学基础上的软件开发方法。形式化方法模型的主要活动是生成计算机软件形式化的数学规格说明。形式化方法使软件开发人员可以应用严格的数学符号来说明、开发和验证基于计算机的系统。形式化方法的发展趋势逐渐融入软件开发过程的各个阶段,从需求分析、功能描述(规约)、(体系结构/算法)设计、编程、测试直至维护。形式化方法的本质：是基于数学的方法来描述目标软件系统属性的一种技术。不同的形式化方法的数学基础是不同的，有的以集合论和一阶谓词演算为基础（如Z和VDM），有的则以时态逻辑为基础。形式化

反射这一概念最早由编程开发人员Smith在1982年提出，主要指应用程序访问、检测、修改自身状态与行为的能力。这一概念的提出立刻吸引了编程界的极大关注，各种研究工作随之展开，随之而来引发编程革命，出现了多种支持反射机制的面向对象语言。在计算机科学领域，反射是指一类能够自我描述和自控制的应用。在Java编程语言中，反射是一种强有力的工具，是面向抽象编程一种实现方式，它能使代码语句更加灵活，极大提高代码的运行时装配能力。Java的反射（reflection）机制：指在程序的运行状态中，可以构造任意一个类的对