文件名称：Masters:Minho大学-形式方法和分布式系统
文件大小：107.53MB
文件格式：ZIP
更新时间：2024-04-04 19:31:17
Java
正式方法和分布式系统 民和大学 大师索引 正式方法 -通过设计对程序进行计算的关系方法。 更高层次的工作使我们能够使用一些简单（但逐渐变得更加复杂）的概念来执行功能强大的证明。 -与Alloy / Electrum一起使用的一阶，二阶（关系）和时间逻辑，用于指定关于任何事物的模型及其特性原因。 -单元测试，用于日志生成和属性测试的QuickCheck，分析指标和代码味道以及重构Java代码。 分布式系统 -主要侧重于处理异步套接字类型，Completable Future是我们用于处理这些套接字的*方法。 -了解了分布式系统中常用的不同体系结构，例如Actor和面向事件的编程，REST API，0MQ中间件（PUB-SUB，PUSH-PULL，REQ-REP体系结构）以及与协议缓冲区的接触非常少的方法。 -在分布式体系结构中设置复杂应用程序的全自动方法。 还了解了在规划性能时