Vivianmaire

摘要： 1、什么是模块化，为什么要模块化？ 模块化是软件开发模式的一种，它将一个大型的软件系统划分成多个独立的模块，每个模块完成一个特定的子功能，并且能够与其他模块独立地工作。模块集成起来可以构成一个整体，完成特定的功能，进而满足用户需求。 模块化的原因是： ● 提高代码的复用性：模块化可以将代码划分成可重 阅读全文

摘要： 形式化方法（formal methods），中文也称形式方法、正规方法。 定义 在计算机科学和软件工程领域，形式化方法是基于数学的技术，适合于软件和硬件系统的描述、开发和验证。将形式化方法用于软件和硬件设计，是期望能够像其它工程学科一样，使用适当的数学分析以提高设计的可靠性和强健性。由于采用形式化方 阅读全文