![基于StP CASE工具的软件自动测试环境设计与实现]()
一、基于StPCASE工具的软件自动测试环境的设计与实现（论文文献综述）戎梦蛟[1]（2021）在《无人机飞控软件配置项测试软件设计与实现》文中指出随着无人机应用领域越来越广泛...
![安全协议攻击序列重构技术研究]()
论文摘要近年来,安全协议形式化分析及自动化验证技术越来越受到人们的关注,但是对基于安全协议形式化分析理论的攻击过程重构技术的研究还处于初始阶段,而攻击重构技术不仅能够验证协议形...
![图形化模型的一致性检查]()
论文摘要图形化模型用图形来描述被研究系统的结构和行为,具有直观易懂的特点,在软件工程的研究和实践中得到广泛使用。随着模型驱动的软件开发方法的日益成熟和推广,一致性作为模型质量的...
![基于Web服务的定性空间关系分析组件及应用]()
论文摘要空间关系理论及其应用研究越来越受到国内外人工智能(AI)、地理信息系统(GIS)、空间数据库及相关学术界的重视。本文所做的工作是对吉林大学符号计算与知识工程实验室承担的...
![基于扩展规则的定理证明的研究]()
论文摘要自动定理证明自从二十世纪五十年代被提出,已经成为计算机科学中最重要的领域之一。归结方法是其中最著名、应用最广的方法之一。扩展规则方法将定理证明沿着归结的反方向进行,是一...
![统计关系学习的若干问题研究]()
论文摘要统计关系学习,集数据的一阶逻辑或关系表示、不确定性处理和机器学习于一体,其目的是挖掘关系数据中的似然模型。本文对统计关系学习进行了研究,主要研究内容包括:(1)根据似然...
