软件体系结构形式化方法

所属分类：计算机科学

软件体系结构形式化方法是指在严格的数学基础（逻辑、代数、自动机、图论等）之上建立的软件开发方法，它是数学上的综合、分析技术的应用，用于开发计算机控制的系统。它可提供一个用于模型设计和分析的严格而有效的途径。其主要目的是克服自然语言、图表...

数据流体系结构风格的特点是（）。

管道过滤器体系结构风格中，过滤器相互独立。

两层客户端/服务器风格和三层客户端/服务器体系结构风格区别在于将数据处理放置在客户端还是服务器

两层客户端/服务器风格和三层客户端/服务器体系结构风格区别在于将数据处理放置在客户端还是服务器。两层一般放置在服务端，三层一般放置在客户端

黑板体系结构风格中，知识源可相互调用。

软件系统引入解释器风格后，会增大软件的验证难度

当一个软件系统引入解释器风格后，在验证系统的正确性时需要对解释器本身进行验证，这无疑加大了系统的验证难度

事件系统体系结构的风格中，事件源可以产生事件。

常见的体系结构视图类型有哪些

以下哪些是创建体系结构文档应遵循的原则

属于提升性能的策略的是

属于提升安全性的策略的是

属于提升可测试性的策略的是

属于提升易用性的策略的是

在ATAM的软件体系结构评估方法中，T指的是（）。

敏感点一定会导致有风险决策。