Ta上传的资源 (0)

软件工程中的形式化方法是一种基于数学的软件开发方法,它可应用于软件工程的各个阶段。Z本身是一个书写规格说明的语言,或者说是一种表示法,它是目前人们非常感兴趣的一种规格说明方法。它是由著名计算机科学家Hoare所在的牛津大学程序设计研究组(PRG)的学者在80年代初设计开发的。

以前没找到可用的（我说的以前是指去年），所以花了3元向淘宝卖家买的下载链接。当时网速绝对够快，软件至今也没出现bug，不过链接是去年卖家给我的，现在还能不能用就不清楚了，应该不会失效的。下载链接和注册码见文件。

为了保障整个系统的安全性，在线考试系统实现了分类验证的登录模块，通过此模块，可以对不同身份的登录用户进行验证，确保了不同身份的用户操作系统。在抽取试题上，系统使用随机抽取试题的方式，体现了考试的客观与公正。当考生答题完毕之后，提交试卷即可得知本次考试的得分，体现系统的高效性。在后台管理上，分后台管理

清晰完整第一部分大数据的本质第1章大数据是什么21．1大数据导论21．1．1大数据简史21．1．2大数据现状31．1．3大数据与BI31．2企业数据资产41．3大数据挑战51．3．1成本挑战61．3．2实时性挑战61．3．3安全挑战61．4小结6第2章运营商大数据架构72．1架构驱动的因素72．2大

《Activiti实战》一共四个部分：准备篇（1~2章）介绍了Activiti的概念、特点、应用、体系结构，以及开发环境的搭建和配置；基础篇（3~4章）首先讲解了ActivitiModeler、ActivitiDesigner两种流程设计工具的详细使用，然后详细讲解了BPMN2.0规范；实战篇（5~