摘要： 什么是形式化方法？ 形式化方法，中文也称形式方法[1]、正规方法[2]。在计算机科学和软件工程领域，形式化方法是基于数学的特种技术，适合于软件和硬件系统的描述、开发和验证[3]。将形式化方法用于软件和硬件设计，是期望能够像其它工程学科一样，使用适当的数学分析以提高设计的可靠性和强健性[4]。 阅读全文

摘要： 4.目前住院病人主要由护士护理，这样做不仅需要大量护士，而且由于不能随时观察危重病人的病情变化，还会延误抢救寸机。某医院打算开发一个以计算机为中心的患者监护系统，试写出问题定义，并且分析开发这个系统的可行性。 医院对患者监护系统的基本要求是随时接收每个病人的生理信号（脉搏、体温、血压、心电图等），定 阅读全文

摘要： 为什么软件开发方法论让你觉得糟糕？ 世界是动态的，是未知的，要想让即将到来的事情都井然有序，那就需要周密的计划来应对。 而这，就是方法论的方向——让整个软件开发过程变得可控。 为什么软件开发方法论让我觉得如此糟糕？ 它的出发点是好的，有迹可循的工作模式能够帮助工作人员有条不紊地完成作业。 但实际上一 阅读全文