1. 您所在位置：
  2. 网站首页
  3. 文档分类
  4. 学术论文
  5. 自然科学论文

基于自然语言需求的AADL模型组合验证性质自动生成方法.docx

基于自然语言需求的AADL模型组合验证性质自动生成方法.docx

    毕业设计（论文）

    PAGE

    1-

    毕业设计（论文）报告

    题目：

    基于自然语言需求的AADL模型组合验证性质自动生成方法

    学号：

    姓名：

    学院：

    专业：

    指导教师：

    起止日期：

    基于自然语言需求的AADL模型组合验证性质自动生成方法

    摘要：随着现代信息技术的发展，自然语言处理技术在各个领域得到了广泛应用。本文针对基于自然语言需求的AADL模型组合验证性质，提出了一种自动生成方法。首先，通过对自然语言需求进行解析，提取出系统需求；然后，利用AADL模型描述系统架构和组件交互；最后，结合模型验证技术，自动生成验证性质。本文方法能够提高AADL模型验

    您可能关注的文档

    最近下载

    文档评论（0）

    1亿VIP精品文档

    更多 >

    相关文档

    更多 >