作者:王晓虎行为交互需求建模形式化
摘要:借鉴π演算的进程构造能力和类型系统表达能力,以π演算为需求建模语言,提出一种需求建模的形式化方法,给出构造功能行为交互系统的良类型性质。
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社
《信息技术与网络安全》(CN:10-1543/TP)是一本有较高学术价值的大型月刊,自创刊以来,选题新奇而不失报道广度,服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《信息技术与网络安全》现已更名为《网络安全与数据治理》。
部级期刊
人气 50426
人气 33130 评论 12
人气 8234 评论 14
省级期刊
人气 4225 评论 10