软件工程形式化技术优点和缺点?

概述 模式化办法英文的称呼是formal methods。正在逻辑科学中是指阐明、钻研思维模式构造的办法。 它把各类具有差异内容的思维模式(次要是命题和推理)加以比较,找出此中各个局部互相联折的方式 如命题中包孕观念彼此间的联折,推理中则是各个命题之间的联折,抽与出它们怪异的模式构造;再引入表达模式构造的标记语言,用标记取标记之间的联络表达命题或推理的模式构造。 譬喻,把全称肯定命题,用标记模式化为“SAP”;把联言命题、假言命题划分模式化为:“p∧q、“p→q”。 又譬喻:一个详细的假言联言推理“假如那种金