Formal Validation and Requirements Management Based on the Jackson's Reference Model for Requirements and Specifications

Formal Validation and Requirements Management Based on the Jackson's Reference Model for Requirements and Specifications
复制标题

基于杰克逊需求和规范参考模型的形式验证和需求管理

DOI：
--
复制
发表时间：
2010
期刊：
Proceedings of the 16th IEEE Pacific Rim International Symposium on Dependable Computing
影响因子：
--
通讯作者：
Makoto TAKEYAMA
Makoto TAKEYAMA
中科院分区：
--
文献类型：
--
作者：
Takashi KITAMURA;Keishi OKAMOTO;Makoto TAKEYAMA

文献摘要

相似文献