暂无评论
测试工作细致繁杂，如何保证测试工作的全面性、完整性并建立统一的测试理论，指导测试工作自动、高效地展开，继而提高测试的复用性，是人们长久以来追求的目标。设计了通用的测试框架，依托基于模型的测试理论，支持
Apache Superset是一个开源的数据分析和可视化工具，然而最近发现了一个身份认证绕过的漏洞。该漏洞可能被攻击者利用来绕过身份认证机制，从而未经授权地访问和操作应用程序。在使用Apache S
网络协议的形式化分析与设计古天龙2003计算机网络及数据通信是当今信息社会的基石，网络协议则是其中不可缺少的重要组成部分。形式化方法与技术已经渗透到网络协议开发的整个过程
信息技术的飞速发展在给人们日常生活带来极大便利的同时，也使网络安全问题受到前所未有的挑战。因此，实时准确的个人身份认证十分重要
针对复杂知识库中知识规则数量多、知识规则的组织及其相互间的逻辑关系难以把握 这一特点,在模糊Pet ri 网的基础上给出了层次化模糊Pet ri 网( Hierarchical Fuzzy Pet r
z语言的形式化，精化和证明，有关Z 语言入门的一本书，牛津大学出版社
Semantics.with.Applications.An.Appetizer,.Hanne.Riis.Nielson,.Flemming.Nielson,.Springer,.2007(ED200
移动Agent系统的Z语言形式化描述，形式化语言的简介，Z语言的介绍以及多ANGENT系统的描述
提出关系模型的是美国IBM公司的E.F.Codd。。
形式化z语言辅助工具Z-EVES进行形式化验证用
暂无评论