需求形式化相关论文
目前,形式化方法在需求一致性验证方面显示出了强大的力量,特别是对于安全攸关系统。然而,大多数现有的需求验证研究只关注软件需......
学位
随着互联网的快速发展,一种新型的消费模式O2O诞生并迅速发展起来,各行各业相继采用此模式进行产品的推广和销售,产品的线上线下结......
