×

可控硅

swMATH ID: 6939
软件作者： 伊曼·布尔吉巴；贝莱德·莫阿
描述： 改进软件成本降低方法的语义尽管软件成本降低（SCR）方法已经在许多项目和组织中成功地用于指定软件需求，但令人惊讶的是，它的语义并没有得到很好的定义。此方法中使用的符号是模糊的，尤其是那些用于表示SCR事件的符号。这项工作的目的是通过两个符号pred和succ在一阶逻辑中启用事件，来解决这种模糊性并改进SCR语义。这种一阶逻辑的轻微扩展使我们能够增加SCR表的可读性，消除其模糊语义，促进验证和验证过程，并改进支持SCR方法的工具集，仅举几个例子。此外，我们的扩展很简单，避免了时序逻辑的复杂性。
主页： http://www.sciencedirect.com/science/article/pii/S1570868312000584
关键词： 降低软件成本;一阶逻辑;形式化方法;基于表格的规格说明技术
相关软件： 自旋蛋白;NuSMV公司;PVS公司;斯莫德尔斯;亚萨特;APTS公司;TAME公司;蛤;TorX公司;徒步旅行;优化软件基准;CalcCheck（计算检查）;超小卫星;CESAR公司;Z轴;马亚
引用于： 10文件
全部的 前5名

被21位作者引用

2 安吉洛·加甘蒂尼
1 米拉·阿彻（Myla M.Archer）。
1 陈志刚
1 当、哲
1 托马斯·罗伯特·菲舍尔
1 戈登·弗雷泽
1 文森佐·格瓦西
1 康斯坦斯·海特迈尔。
1 金、英
1 伊丽莎白·伦纳德。
1 林，兰
1 巴沙尔·努塞贝
1 David Lorge，帕纳斯
1 杰西·H·普尔。
1 史黛西·J·普罗维尔。
1 利可宾，埃尔维尼亚
1 王雷雷
1 弗兰茨·沃塔瓦
1 吴佳
1 严、叶青
1 杨林敏
全部的 前5名

9篇连载文章中引用

1 软件。实践与经验
1 理论计算机科学
1 计算机程序设计科学
1 计算的形式方面
1 工程软件进展
1 数学与人工智能年鉴
1 高阶和符号计算
1 逻辑与代数程序设计杂志
1 算法

在3个字段中引用

9 计算机科学（68至XX）
1 数值分析（65-XX）
1 博弈论、经济学、金融和其他社会和行为科学（91-XX）

按年份列出的引文