徐,英;宋晓宇;爱德华·塞尔尼;奥特曼·艾特·穆罕默德 使用多路决策图(MDG)对一阶时序逻辑进行模型检查。 (英语) Zbl 1090.68069号 计算。J。 47,第1期,71-84(2004).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Xu}等人,计算。J.47,第1号,第71--84页(2004年;Zbl 1090.68069) 全文: 内政部 链接
佛罗伦萨伊帕特 流X机器的极小性。 (英语) Zbl 1027.68083号 计算。J。 46,第3期,295-306(2003).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Ipate},计算。J.46,第3号,295--306(2003;Zbl 1027.68083) 全文: 内政部
帕帕佐普洛斯,君士坦丁堡 CSCW的扩展时序逻辑。 (英语) Zbl 1037.68094号 计算。J。 45,第4期,453-472(2002).MSC公司:60年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{C.Papadopoulos},计算。J.45,第4号,453--472(2002;Zbl 1037.68094) 全文: 内政部
张大千;张、康;曹建农 视觉语言规范的上下文相关图语法形式。 (英语) Zbl 0984.68094号 计算。J。 44,第3期,186-200(2001).MSC公司:第68季度第42季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.-Q.Zhang}等人,计算。J.44,第3号,186--200(2001;Zbl 0984.68094) 全文: 内政部 链接
辛齐亚·伯纳德斯基;亚历山德罗·范特奇;卢卡·西蒙西尼 正式验证容错系统设计。 (英语) Zbl 0969.68567号 计算。J。 43,第3期,191-205(2000).MSC公司:68单位99 68M99型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Bernardeschi}等人,计算。J.43,第3号,191--205(2000;Zbl 0969.68567) 全文: 内政部
ter Hofstede,A.H.M。;M.E.奥洛斯卡。 关于过程控制规范中一些验证问题的复杂性。 (英语) Zbl 0944.68524号 计算。J。 42,第5期,349-359(1999).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.H.M.ter-Hofstede}和\textit{M.E.Orlowska},计算。J.42,第5号,349--359(1999;Zbl 0944.68524) 全文: 内政部
比吉特·希德;曼弗雷德·布罗伊 调整计算逻辑以适应未定义的。 (英语) Zbl 0941.03031号 计算。J。 42,第2期,73-81(1999).MSC公司:03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Schieder}和\textit{M.Broy},计算。J.42,第2号,73-81(1999年;Zbl 0941.03031) 全文: 内政部 链接
凯利,德克兰·P·。 ARC:通信系统的规范语言。 (英语) 兹比尔1114.68439 计算。J。 41,第6号,386-401(1998).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.P.Kelly},计算。J.41,第6号,386--401(1998;Zbl 1114.68439) 全文: 内政部 链接
安娜·卡瓦尔坎蒂;吉姆·伍德科克 Z的最弱前提语义。 (英语) Zbl 0906.68093号 计算。J。 41,第1期,第1-15页(1998年).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Cavalcanti}和\textit{J.Woodcock},计算。J.41,第1号,第1-15号(1998;Zbl 0906.68093) 全文: 内政部 链接
斯蒂芬·菲茨帕特里克;M.克林特。;T·J·哈默。;P.基尔帕特里克。 通过自动程序推导和转换,为稀疏数据结构裁剪数值算法的抽象功能规范。 (英语) Zbl 0852.68054号 计算。J。 39,第2期,145-168(1996).MSC公司:60年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{S.Fitzpatrick}等人,《计算》。J.39,第2号,145--168(1996;Zbl 0852.68054) 全文: 内政部
哈里森,P.G。;科什内维桑,H。 数据类型的机械转换。 (英语) Zbl 0757.68080号 计算。J。 35,第2期,138-147(1992).MSC公司:68问题65 68号01 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.G.Harrison}和\textit{H.Khoshnevisan},计算。J.35,第2号,138--147(1992;Zbl 0757.68080) 全文: 内政部
M.C.亨森。 高阶转换和类型模拟。 (英语) Zbl 0662.68013号 计算。J。 31,第6期,517-524(1988).MSC公司:60年第68季度 68第05页 68号01 PDF格式BibTeX公司 XML格式引用 \textit{M.C.Henson},计算。J.31,No.6,517--524(1988;Zbl 0662.68013) 全文: 内政部
哈里森,P.G。;科什内维桑,H。 函数语言的代数变换技术。 (英语) Zbl 0745.68034号 计算。J。 31,第3期,229-242(1988).MSC公司:68甲15 68号01 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.G.Harrison}和\textit{H.Khoshnevisan},计算。J.31,第3号,229--242(1988;Zbl 0745.68034) 全文: 内政部
克里斯蒂娜·瑟纳达斯;卡拉普萨,R。 概念建模抽象在编译器开发中的作用。 (英语) Zbl 0653.68081号 计算。J。 30, 328-336 (1987).MSC公司:第68季度55 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Sernadas}和\textit{R.Carapuça},计算。J.30,328--336(1987;Zbl 0653.68081) 全文: 内政部
R.G.德罗姆。 从规范派生排序算法。 (英语) Zbl 0653.68050号 计算。J。 30, 512-518 (1987).MSC公司:68页第10页 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{R.G.Dromey},计算。J.30,512--518(1987;Zbl 0653.68050) 全文: 内政部
巴顿,J.C.M。;J.A.伯格斯特拉。;Klop,J.W。 具有优先级运算符的具体过程代数的就绪跟踪语义。 (英语) Zbl 0627.68016号 计算。J。 30, 498-506 (1987).MSC公司:第68页第25页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.C.M.Baeten}等人,计算。J.30,498-506(1987;Zbl 0627.68016) 全文: 内政部 链接
谢天华。 程序非结构化的识别:一种形式化方法。 (英语) Zbl 0627.68012号 计算。J。 30, 507-511 (1987).MSC公司:60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{T.H.Tse},计算。J.30,507--511(1987;Zbl 0627.68012) 全文: 内政部
新南威尔士州库尔特。;库珀,R.B。;所罗门,M.K。 程序规范的信息论复杂性。 (英语) Zbl 0623.68011号 计算。J。 30, 223-227 (1987).MSC公司:60年第68季度 94甲17 PDF格式BibTeX公司 XML格式引用 \textit{N.S.Coulter}等人,计算。J.30,223--227(1987;Zbl 0623.68011) 全文: 内政部
谢天华。 朝向识别程序非结构化的单一标准。 (英语) Zbl 0617.68020号 计算。J。 30, 378-380 (1987).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.H.Tse},计算。J.30,378--380(1987;Zbl 0617.68020) 全文: 内政部
英国雷迪什。;西弗·史密斯。 评估节目质量的措施。 (英语) Zbl 0615.68018号 计算。J。 30, 228-232 (1987).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.A.Redish}和\textit{W.F.Smyth},计算。J.30,228--232(1987;Zbl 0615.68018) 全文: 内政部
D.格雷。 教学验证条件生成器。 (英语) Zbl 0615.68017号 计算。J。 30, 239-248 (1987). 审核人:D.灰色 MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Gray},计算。J.30,239--248(1987;Zbl 0615.68017) 全文: 内政部
奥尔斯纳姆(G.Oulsnam)。 模式到结构化形式的算法转换。 (英语) Zbl 0605.68008号 计算。J。 30, 43-51 (1987).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Oulsnam},计算。J.30,43-51(1987;兹bl 0605.68008) 全文: 内政部
米德尔顿,A.G。 与报告生成相关的一些转换。 (英语) 兹比尔0605.68007 计算。J。 30, 37-42 (1987).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.G.Middleton},计算。J.30,37-42(1987;Zbl 0605.68007) 全文: 内政部
潘迪亚,P。;M.约瑟夫。 递归过程调用的结构导向的完全正确性证明规则。 (英语) Zbl 0604.68008号 计算。J。 29, 531-537 (1986).MSC公司:68号01 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Pandya}和\textit{M.Joseph},计算。J.29,531--537(1986;Zbl 0604.68008) 全文: 内政部
Barringer,H。;我.梅恩斯。 Ada任务的证明系统。 (英语) 兹比尔0599.68018 计算。J。 29, 404-415 (1986).MSC公司:60年第68季度 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{H.Barringer}和\textit{I.Mearns},计算机。J.29,404--415(1986;Zbl 0599.68018) 全文: 内政部
东北部芬顿。;R.W.惠蒂。 通过程序分解实现软件度量的公理方法。 (英语) Zbl 0595.68021号 计算。J。 29, 330-339 (1986).MSC公司:60年第68季度 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{N.E.Fenton}和\textit{R.W.Whitty},计算。J.29,330-339(1986;Zbl 0595.68021) 全文: 内政部
坎通纳,G。;西米提尔,A。;德卡里尼,美国。 用于复杂性度量和程序维护的非结构化单入单出方案的良好转换。 (英语) Zbl 0595.68020号 计算。J。 29, 322-329 (1986).MSC公司:60年第68季度 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{G.Cantone}等人,计算。J.29,322--329(1986;Zbl 0595.68020) 全文: 内政部
J·富奇克。;J.Král。 程序控制结构的层次结构。 (英语) Zbl 0591.68015号 计算。J。 29,24-32(1986年).MSC公司:60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{J.Fuík}和\textit{J.Král},计算。J.29,24-32(1986年;Zbl 0591.68015) 全文: 内政部
大岛高冈 new-while循环的语义。 (英语) Zbl 0591.68008号 计算。J。 29, 33-35 (1986).MSC公司:68号01 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Takaoka},计算。J.29,33-35(1986;Zbl 0591.68008) 全文: 内政部
劳伦斯·C·鲍尔森。 从LCF中吸取的教训:自然演绎证明的调查。 (英语) Zbl 0576.68070号 计算。J。 28, 474-479 (1985).MSC公司:68吨15 60年第68季度 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{L.C.Paulson},计算。J.28,474--479(1985;Zbl 0576.68070) 全文: 内政部
劳埃德·艾利森 编程指称语义。二、。 (英语) Zbl 0571.68005号 计算。J。 28, 480-486 (1985).MSC公司:68号01 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Allison},计算。J.28,480-486(1985;Zbl 0571.68005) 全文: 内政部
卢,艺术 决策表程序的正确性证明。 (英语) Zbl 0536.68008号 计算。J。 27, 230-232 (1984).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Lew},计算。J.27,230-232(1984;Zbl 0536.68008) 全文: 内政部
约翰·K·斯莱普。;彼得·J·L·沃利斯。 使用中间树表示将Fortran转换为Ada。 (英语) Zbl 0517.68038号 计算。J。 26, 344-353 (1983).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.K.Slape}和\textit{P.J.L.Wallis},计算。J.26,344--353(1983;Zbl 0517.68038) 全文: 内政部
劳埃德·艾利森 编程指称语义。 (英语) Zbl 0517.68023号 计算。J。 26, 164-174 (1983).MSC公司:68号01 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Allison},计算。J.26,164--174(1983;Zbl 0517.68023) 全文: 内政部
威廉姆斯,M.H。 流程图示意图和命名问题。 (英语) Zbl 0515.68011号 计算。J。 26, 270-276 (1983).MSC公司:60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{M.H.Williams},计算。J.26,270--276(1983;Zbl 0515.68011) 全文: 内政部
奥尔斯纳姆(G.Oulsnam)。 解开非结构化程序。 (英语) Zbl 0483.68010号 计算。J。 25, 379-387 (1982).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Oulsnam},计算。J.25,379--387(1982;Zbl 0483.68010) 全文: 内政部
东北部戈尔勒。 三元逻辑及其在结构化程序设计中的应用。 (英语) Zbl 0478.68017号 计算。J。 25, 218-226 (1982).MSC公司:60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{N.E.Goller},计算。J.25,218--226(1982;Zbl 0478.68017) 全文: 内政部
斯科达拉基斯,E。;Papakonstantinou,G。 用于可变数量嵌套循环的控制结构。 (英语) 兹伯利0474.68029 计算。J。 25, 48-51 (1982).MSC公司:第68页第25页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Skodalakis}和\textit{G.Papakonstantinou},计算。J.25,48--51(1982;Zbl 0474.68029) 全文: 内政部
D.F.科威尔。;D.F.吉利斯。;卡波西,A.A。 抽象程序的合成和结构分析。 (英语) Zbl 0433.68016号 计算。J。 23, 243-247 (1980).MSC公司:60年第68季度 68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{D.F.Cowell}等人,计算。J.23,243--247(1980;Zbl 0433.68016) 全文: 内政部
西澳州扎雷姆巴。 “补足符”函数的替代方法。 (英语) Zbl 0433.68008号 计算。J。 23, 286-287 (1980).MSC公司:68号01 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.A.Zaremba},计算。J.23,286--287(1980;Zbl 0433.68008) 全文: 内政部
D.J.埃文斯。;雪莉·A·威廉姆斯。 并行可处理代码的分析和检测。 (英语) Zbl 0428.68033号 计算。J。 23, 66-72 (1980).MSC公司:第68页第25页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.J.Evans}和\textit{S.A.Williams},计算。J.23,66--72(1980;Zbl 0428.68033) 全文: 内政部
克拉克,K.L。;J.达林顿。 通过综合进行算法分类。 (英语) Zbl 0426.68041号 计算。J。 23, 61-65 (1980).MSC公司:68页第10页 68瓦99 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{K.L.Clark}和\textit{J.Darlington},计算。J.23,61-65(1980;Zbl 0426.68041) 全文: 内政部
E.F.埃尔斯沃思。 通过中间语言编译。 (英语) Zbl 0425.68016号 计算。J。 226-233年(1979年).MSC公司:68N99型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.F.Elsworth},计算。J.22226-233(1979年;兹bl 0425.68016) 全文: 内政部
J.莫特尔。 非线性规划程序的描述。 (英语) Zbl 0423.90072号 计算。J。 22, 256-261 (1979).MSC公司:90立方 65千5 60年第68季度 90-04 PDF格式BibTeX公司 XML格式引用 \textit{J.Mottl},计算。J.22,256--261(1979;Zbl 0423.90072) 全文: 内政部