An Approach to Verifying Aspect-oriented Requirements Model - 第十一届全国软件与应用学术会议(NASAC2012).pdf

165 0
2025-12-14 14:32 | 查看全部 阅读模式

论文《An Approach to Verifying Aspect-oriented Requirements Model》发表于第十一届全国软件与应用学术会议(NASAC2012),探讨了面向方面的需求模型验证方法。文章提出了一种基于形式化方法的验证机制,以确保面向方面编程中的需求规范正确无误。该研究有助于提高软件系统在需求阶段的可靠性和一致性,为复杂系统的开发提供了理论支持和技术手段。

文档为pdf格式,0.17MB,总共1页。
An Approach to Verifying Aspect-oriented Requirements Model - 第十一届全国软件与应用学术会议(NASAC2012)
2025-12-14 14:32 上传
文件大小:
174.08 KB
下载次数:
60
An Approach to Verifying Aspect-oriented Requirements Model - 第十一届全国软件与应用学术会议(NASAC20 ...
高速下载
【温馨提示】 您好!以下是下载说明,请您仔细阅读:
1、推荐使用360安全浏览器访问本站,选择您所需的PDF文档,点击页面下方“下载”按钮。
2、耐心等待两秒钟,系统将自动开始下载,本站文件均为高速下载。
3、下载完成后,请查看您浏览器的下载文件夹,找到对应的PDF文件。
4、使用PDF阅读器打开文档,开始阅读学习。
5、使用过程中遇到问题,请联系QQ客服

本站提供的所有PDF文档、软件、资料等均为网友上传或网络收集,仅供学习和研究使用,不得用于任何商业用途。
本站尊重知识产权,若本站内容侵犯了您的权益,请及时通知我们,我们将尽快予以删除。
2026 资料下载 z3060.com 联系邮件:1991591830#qq.com 浙ICP备2024084428号-1
快速回复 返回顶部 返回列表