[ 登录/注册 ] 购物车(0)
期刊大全 杂志订阅 SCI期刊 期刊投稿 出版社 公文范文 精品范文
摘要：需求规范错误是软件设计错误的一大类。该文提出了一个软件需求的形式化转换模型，用来将软件需求分析直接、自动地转换为形式化描述，为需求验证提供帮助，避免软件在需求规范上可能产生的错误。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
北大期刊 下单
国际刊号：1000-3428
国内刊号：31-1289/TP
国际刊号：1003-6970
国内刊号：12-1151/TP
国际刊号：1008-097X
国内刊号：11-3941/TP
国际刊号：1672-7800
国内刊号：42-1671/TP
多年专注期刊服务，熟悉发表政策，投稿全程指导。因为专注所以专业。
推荐期刊保障正刊，评职认可，企业资质合规可查。
诚信服务，签订协议，严格保密用户信息，提供正规票据。
如果发表不成功可退款或转刊。资金受第三方支付宝监管，安全放心。
