发布文献求助
清晨好，您是今天最早来到科研通的研友！由于当前在线用户较少，发布求助请尽量完整地填写文献信息，科研通机器人24小时在线，伴您科研之路漫漫前行！
求助中
  • 文献求助详情
标题
Formal Methods in Requirements Engineering: Survey and Future Directions
需求工程中的形式化方法：综述与未来方向
相关领域
计算机科学 需求工程 需求分析 优势和劣势 过程（计算） 形式化方法 系统工程 多样性（控制论） 需求获取 工程设计过程 需求管理 光学（聚焦） 软件工程 风险分析（工程） 工程类 人工智能 软件 光学 物理 操作系统 哲学 认识论 机械工程 程序设计语言 医学
网址
https://dl.acm.org/doi/pdf/10.1145/3644033.3644373
AI链接 acm.org acm.orgdoi.org
DOI
10.1145/3644033.3644373 doi
其它 期刊：
作者：Robert Lorch; Baoluo Meng; Kit Siu; Abha Moitra; Michael Durling; et al
出版日期：2024-04-14
求助人
云小澈 在 2025-12-26 20:00:05 发布自山东，悬赏 10 积分
下载 暂无链接，等待应助者上传
 
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
上个求助
下个求助
提交工单
相关文献
  1. An Insight into Requirements Engineering Processes
  2. Recommender Systems in Requirements Engineering
  3. Requirements Elicitation: A Look at the Future Through the Lenses of the Past
  4. Eliciting contextual requirements at design time: A case study
  5. A proposal for a requirements elicitation tool to increase stakeholder involvement
  6. A process for use of multimedia information in requirements identification and traceability
  7. Best Practices Guidelines for Agile Requirements Engineering Practices
  8. Vad blir effekten av att satsa på kravhantering
  9. Best Practices Guidelines for Agile Requirements Engineering Practices
  10. Best Practices Guidelines for Agile Requirements Engineering Practices
　...点击展开更多...　
求助 / 应助时间线

  • 现在，等待您上传文献

  • 10小时前

    科研通AI2.0 科研通AI2.0 机器人 未找到该文献，机器人已退出，请等待人工下载

    20:00:11 未找到该文献，机器人已退出，请等待人工下载
    20:00:07 科研通AI机器人（北京）收到请求，开始寻找文献
    20:00:05 已向机器人发送请求

  • 10小时前

    云小澈 云小澈 Lv1 求助人 发起了本次求助

更新
PDF的下载单位、IP信息已删除 (2025-6-4)
科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
郝志红完成签到 ，获得积分10
2秒前
41秒前
creep2020完成签到，获得积分10
42秒前
43秒前
淡定自中发布了新的文献求助10
44秒前
Drlee完成签到 ，获得积分10
44秒前
酷波er的应助被科研通管家采纳，获得10
47秒前
科目三的应助被科研通管家采纳，获得10
48秒前
BowieHuang的应助被科研通管家采纳，获得10
48秒前
BowieHuang的应助被arsenal采纳，获得10
48秒前
喜悦的唇彩完成签到，获得积分10
1分钟前
科研通AI2S的应助被arsenal采纳，获得10
1分钟前
1分钟前
1分钟前
arsenal完成签到 ，获得积分10
1分钟前
白天亮完成签到，获得积分10
2分钟前
雪山飞龙发布了新的文献求助10
2分钟前
雪山飞龙发布了新的文献求助10
2分钟前
2分钟前
3分钟前
貔貅完成签到，获得积分10
3分钟前
范特西完成签到 ，获得积分10
3分钟前
Heart_of_Stone完成签到 ，获得积分10
3分钟前
3分钟前
4分钟前
4分钟前
共享精神的应助被科研通管家采纳，获得10
4分钟前
科研通AI2S的应助被科研通管家采纳，获得10
4分钟前
赘婿的应助被科研通管家采纳，获得10
4分钟前
4分钟前
量子星尘发布了新的文献求助10
5分钟前
5分钟前
5分钟前
ven发布了新的文献求助30
5分钟前
ven完成签到，获得积分20
5分钟前
5分钟前
uwasa完成签到，获得积分10
5分钟前
科研通AI6的应助被Migue采纳，获得10
5分钟前
6分钟前
感动初蓝完成签到 ，获得积分10
6分钟前
高分求助中
(应助此贴封号)【重要！！请各用户(尤其是新用户)详细阅读】【科研通的精品贴汇总】 10000
Nonlinear Problems of Elasticity 3000
List of 1,091 Public Pension Profiles by Region 1581
Encyclopedia of Agriculture and Food Systems Third Edition 1500
Minimizing the Effects of Phase Quantization Errors in an Electronically Scanned Array 1000
Specialist Periodical Reports - Organometallic Chemistry Organometallic Chemistry: Volume 46 1000
Current Trends in Drug Discovery, Development and Delivery (CTD4-2022) 800
热门求助领域 （近24小时）
化学 材料科学 医学 生物 工程类 有机化学 生物化学 物理 纳米技术 计算机科学 内科学 化学工程 复合材料 物理化学 基因 遗传学 催化作用 冶金 量子力学 光电子学
热门帖子
关注 科研通微信公众号，转发送积分 5534510
求助须知：如何正确求助？哪些是违规求助？ 4622572
关于积分的说明 14582648
捐赠科研通 4562688
什么是DOI，文献DOI怎么找？ 2500311
邀请新用户注册赠送积分活动 1479846
关于科研通互助平台的介绍 1451046
Copyright © 2020-2025 AbleSci.COM, 科研通, All Right Reserved
科研通是非营利科研互助平台，不忘初心，为科研助力
本站互助的所有文件仅供个人学习研究用，禁止任何人把求助的所得文献进行盈利或传播
版权声明 关于本站 捐赠本站 提交工单 客服中心
皖ICP备2024041134号-1 皖公网安备34019202002308
科研通【文献互助QQ群】：如果您有特殊求助，或发布求助超过24小时未得到应助，可加群求助，群号：826996720【点击一键加群】
科研通【志愿服务QQ群】：如果您热爱文献互助，有热心愿意为更多人服务，请加入小伙伴群，点击申请加入
关注微信服务号
科研通