首页 正文

Requirements engineering. 1998;3(3-4):202-218. doi: 10.1007/s007660050005 Q23.32025

Scenario-Based Techniques for Supporting the Elaboration and the Validation of Formal Requirements

支持形式化需求细化与验证的场景驱动技术

Patrick Heymans; Eric Dubois

DOI: 10.1007/s007660050005

摘要 查看摘要

Copyright © . 中文内容为AI机器翻译,仅供参考!

期刊名:Requirements engineering

缩写:REQUIR ENG

ISSN:0947-3602

e-ISSN:1432-010X

IF/分区:3.3/Q2

文章目录 更多期刊信息

全文链接
引文链接
复制
已复制!
推荐内容
Scenario-Based Techniques for Supporting the Elaboration and the Validation of Formal Requirements