摘要:
《大象:Thinking in UML》以UML为载体,将面向对象的分析设计思想巧妙地融入建模过程中,通过贯穿全书的实例将软件系统开发过程中方方面面的知识有机地结合在一起,用生动的语言和精彩的事例将复杂枯燥的软件过程讲解得津津有味。 全书分为四个部分。第一部分讲述面向对象分析的一些基本概念,及学习建 阅读全文
posted @ 2022-12-13 12:54
almi
阅读(224)
评论(0)
推荐(0)
摘要:
形式化方法(Formal Methods),在逻辑科学中是指分析、研究思维形式结构的方法。它把各种具有不同内容的思维形式(主要是命题和推理)加以比较,找出其中各个部分相互联结的方式,如命题中包含概念彼此间的联结,推理中则是各个命题之间的联结,抽取出它们共同的形式结构;再引入表达形式结构的符号语言,用 阅读全文
posted @ 2022-12-13 12:43
almi
阅读(390)
评论(0)
推荐(0)