可控硅

改进了软件成本降低方法的语义,虽然软件成本降低(SCR)方法已经成功地应用于许多项目和组织来指定软件需求,但令人惊讶的是,它的语义没有被很好地定义。该方法中使用的符号是模棱两可的,特别是那些用来表示SCR事件的符号。这项工作的目的是解决这一歧义和提高SCR语义通过启用一阶逻辑事件通过两个符号PRID和SUCC。这种一阶逻辑的轻微扩展使我们能够增加SCR表的可读性,消除其模糊语义,便于验证和验证过程,并改进支持SCR方法的工具集,仅举几个例子。此外,我们的扩展是简单的,避免了时间逻辑的复杂性。


ZBMaCT中的参考文献(19篇文章中引用)

显示结果1至19的19。
按年份排序(引文

  1. 严,叶青;陈,志刚;吴,贾;王,Leilei:机会社交网络中一种基于社会关系的有效数据传输算法(2018)
  2. 杨,Linmin;党,哲;菲舍尔,Thomas R.:黑盒测试的信息增益(2011)
  3. 盖伊,格雷戈瑞;孟席斯,提姆;Jalali,Omid;瑟曼,格雷戈瑞;吉尔克森,Fuff.Fuy;Kipe,Y:寻找需求模型中的稳健解(2010)伊波尔特
  4. 靳、英、帕纳斯、David Lorge:表式数学表达意义的界定(2010)
  5. 林,蓝;PoWELL,Stacy J.;Poor,Jesse H.:一个基于序列的规范公理系统(2010)
  6. Fraser,戈登;Gargantini,安吉洛;WoTaWaand弗兰兹:基于规范测试的测试目标顺序(2009)
  7. 史米斯,S.;Yu,W.:一种用于开发高质量并行网格生成工具箱的文档驱动方法(2009)
  8. 霍尔,Robert J.:大规模场景的方法和工具(2008)伊波尔特
  9. LeTeice,艾曼纽;克莱默,杰夫;麻吉,杰夫;Uchitel,塞巴斯蒂安:从面向目标的需求模型导出基于事件的转换系统(2008)伊波尔特
  10. 马萨契,法比奥;Mylopoulos,约翰;赞诺内,尼古拉:计算机支持的安全TROPOS。(2007)伊波尔特
  11. 马萨契,法比奥;Mylopoulos,约翰;赞诺内,尼古拉:安全援助的计算机辅助支持(2007)伊波尔特
  12. 穆罕默德、KHISS、ISMA、凯勒、Rudolf K.:基于UML场景的用户界面自动原型化(2006)伊波尔特
  13. 穆罕默德、KHISS、ISMA、凯勒、Rudolf K.:基于UML场景的用户界面自动原型化(2006)伊波尔特
  14. Wassyng,艾伦;劳福德,马克:安全关键软件开发的软件工具(2006)伊波尔特
  15. Gargantini,安吉洛;Riccobene,ELVIII:自动模型驱动的SCR规范动画(2003)
  16. 哈雷尔,戴维;马雷利,Rami:指定和执行行为需求:游戏中的输入/播放方法(2003)伊波尔特
  17. 伦纳德,Elizabeth I.;HemieYe,Constance L.:使用APTS(2003)从形式需求规范中的程序合成
  18. 格维西,文森佐;NusieBeh,巴沙尔:自然语言需求的轻量化验证(2002)
  19. 阿切尔,Myla:驯服:使用PVS策略进行特殊目的定理证明(2000)