鲁道夫·卡斯特罗;莱姆·米莉;Tollis,Ioannis G。 状态图的自动布局。 (英语) Zbl 0985.68707号 软件。实践与经验 32,第1期,25-55页(2002年).MSC公司:68单位99 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Castello}等人,软件。,实际。专家。32,第1号,第25-55页(2002年;Zbl 0985.68707) 全文: 内政部
Judy M.主教。;斯蒂芬·亚当斯。;大卫·J·普里查德。 通过源代码翻译分发并发Ada程序。 (英语) Zbl 0629.68019号 软质。,实际。专家。 17, 859-884 (1987).MSC公司:第68页第25页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Bishop}等人,软件。,实际。专家。17,859--884(1987;Zbl 0629.68019) 全文: 内政部
Chan、Fun Ting;陈宗岳 AIDA-用于Pascal程序的动态数据流异常检测系统。 (英语) 兹比尔0607.68008 软质。,实际。专家。 17, 227-239 (1987).MSC公司:60年第68季度 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{F.T.Chan}和\textit{T.Y.Chen},软件。,实际。专家。17、227--239(1987年;Zbl 0607.68008) 全文: 内政部
阿里·米莉;王晓阳;于青 规范方法:一种集成的关系方法。 (英语) Zbl 0602.68015号 软质。,实际。专家。 16, 1003-1030 (1986).MSC公司:60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{A.Mili}等人,软件。,实际。专家。161003--1030(1986年;Zbl 0602.68015) 全文: 内政部
克里斯托弗·J·范·威克。 AWK是程序的粘合剂。 (英语) Zbl 0591.68035号 软质。,实际。专家。 16, 369-388 (1986).MSC公司:68N99型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.J.van Wyk},软件。,实际。专家。16、369--388(1986年;Zbl 0591.68035) 全文: 内政部
大卫·A·瓦特。 可执行语义描述。 (英语) Zbl 0575.68017号 软质。,实际。专家。 16, 13-43 (1986).MSC公司:60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Watt},软件。,实际。专家。16、13-43(1986年;Zbl 0575.68017) 全文: 内政部
Teruo Hikita公司;石破田清吉 变量共享和消息传递之间的程序转换方法。 (英语) Zbl 0563.68009号 软质。,实际。专家。 15, 677-692 (1985).MSC公司:60年第68季度 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{T.Hikita}和\textit{K.Ishihata},软。,实际。专家。15677-692(1985年;Zbl 0563.68009) 全文: 内政部
理查德·凯默勒。;史蒂文·埃克曼。 UNISEX:基于UNIx的Pascal符号执行器。 (英语) Zbl 0557.68021号 软质。,实际。专家。 15, 439-458 (1985).MSC公司:60年第68季度 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{R.A.Kemmer}和\textit{S.T.Eckmann},软件。,实际。专家。15、439--458(1985;Zbl 0557.68021) 全文: 内政部
沃伦·哈里森(Warren A.Harrison)。 将McCabe的复杂性度量应用于多重退出计划。 (英语) Zbl 0544.68034号 软质。,实际。专家。 14, 1004-1007 (1984).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.A.Harrison},软件。,实际。专家。14、1004--1007(1984年;Zbl 0544.68034) 全文: 内政部
詹姆斯·科迪。 Euclid程序中编译时混叠检测。 (英语) 兹比尔0544.68007 软质。,实际。专家。 14, 755-768 (1984).MSC公司:60年第68季度 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{J.R.Cordy},软件。,实际。专家。14755--768(1984年;Zbl 0544.68007) 全文: 内政部
M.克林特。;维森特,C。 在程序的文档和验证中使用重影变量和虚拟编程。 (英语) Zbl 0544.68006号 软质。,实际。专家。 14, 711-737 (1984).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Clint}和\textit{C.Vicent},软。,实际。专家。14、711--737(1984年;Zbl 0544.68006) 全文: 内政部
菲利普·利思 功能环境中的自顶向下设计。 (英语) Zbl 0542.68004号 软质。,实际。专家。 14, 921-930 (1984).MSC公司:68号01 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Leith},软件。,实际。专家。14、921--930(1984年;Zbl 0542.68004) 全文: 内政部
J.W.休斯。;鲍威尔,M.S。 DTL:一种设计和实现结构化网络并发程序的语言。 (英语) Zbl 0519.68030号 软质。,实际。专家。 13, 1099-1112 (1983).MSC公司:第68页第25页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.W.Hughes}和\textit{M.S.Powell},软件。,实际。专家。13、1099--1112(1983年;Zbl 0519.68030) 全文: 内政部
Murali,V。;Shyamasundar,R.K。 PT编译器的语句生成器,它是Pascal子集。 (英语) Zbl 0514.68020号 软质。,实际。专家。 13, 857-869 (1983).MSC公司:60年第68季度 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{V.Murali}和\textit{R.K.Shyamasundar},软件。,实际。专家。13、857--869(1983年;Zbl 0514.68020) 全文: 内政部
麻省理工哈兰迪。 一个实验性的COBOL重组系统。 (英语) Zbl 0514.68013号 软质。,实际。专家。 13, 825-846 (1983).MSC公司:60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{M.T.Harandi},软件。,实际。专家。13、825--846(1983年;Zbl 0514.68013) 全文: 内政部
普拉巴赫·马蒂;Joxan雅法 缩进程序的正确性证明。 (英语) Zbl 0505.68011号 软质。,实际。专家。 13, 199-226 (1983).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Mateti}和\textit{J.Jaffar},软件。,实际。专家。13、199--226(1983年;Zbl 0505.68011) 全文: 内政部
保罗·麦克马林。;约翰·甘农。;韦瑟(Mark D.Weiser)。 实现基于编译器的测试工具。 (英语) Zbl 0489.68014号 软质。,实际。专家。 12, 971-979 (1982).MSC公司:68第05页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.R.McMullin}等人,软件。,实际。专家。12、971--979(1982;Zbl 0489.68014) 全文: 内政部
好的,费尔斯特。;E.J.辛兹。 设计结构化cobol程序。 (英语) Zbl 0479.68013号 软质。,实际。专家。 12, 455-474 (1982).MSC公司:60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{O.K.Ferstl}和\textit{E.J.Sinz},软件。,实际。专家。12、455--474(1982;Zbl 0479.68013) 全文: 内政部
雅各布·帕尔姆 SIMULA过程概念的使用。 (英语) Zbl 0474.68030号 软质。,实际。专家。 12, 153-161 (1982).MSC公司:第68页第25页 60年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{J.Palme},软件。,实际。专家。12、153--161(1982年;Zbl 0474.68030) 全文: 内政部
哈南·萨米特 有软件转换经验。 (英语) Zbl 0471.68017号 软质。,实际。专家。 11, 1053-1069 (1981).MSC公司:68N99型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Samet},软。,实际。专家。11、1053--1069(1981年;Zbl 0471.68017) 全文: 内政部
彼得·亨德森;罗杰·基姆森。 大型程序的模块化。 (英语) 兹伯利0467.68025 软质。,实际。专家。 11, 497-520 (1981).MSC公司:第68页第25页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Henderson}和\textit{R.B.Gimson},软件。,实际。专家。11497-520(1981年;Zbl 0467.68025) 全文: 内政部
马丁·格里斯。;Anthony C.赫恩。 便携式LISP编译器。 (英语) Zbl 0467.68024号 软质。,实际。专家。 11, 541-605 (1981).MSC公司:第68页第25页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.L.Griss}和\textit{A.C.Hearn},软件。,实际。专家。11、541--605(1981年;Zbl 0467.68024) 全文: 内政部
A.J.伯恩斯坦。;恩索尔,J.R。 一种基于模块的语言,支持分层开发和验证。 (英语) Zbl 0463.68039号 软质。,实际。专家。 11, 237-255 (1981).MSC公司:第68页第25页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.J.Bernstein}和\textit{J.R.Ensor},软件。,实际。专家。11237-255(1981年;兹bl 0463.68039) 全文: 内政部
布林奇·汉森(Brinch Hansen,Per) 爱迪生项目。 (英语) 兹比尔0452.68030 软质。,实际。专家。 11, 397-414 (1981).MSC公司:第68页第25页 68号01 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Brinch Hansen},软件。,实际。专家。11、397--414(1981年;Zbl 0452.68030) 全文: 内政部
A.J.赫斯特。 Pascal-P,程序结构和程序行为。 (英语) Zbl 0442.68007号 软质。,实际。专家。 10, 1029-1036 (1980).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.J.Hurst},软件。,实际。专家。101029--1036(1980;Zbl 0442.68007) 全文: 内政部
克里斯托弗·弗雷泽(Christopher W.Fraser)。 通过合并编辑器脚本维护程序变体。 (英语) Zbl 0439.68046号 软质。,实际。专家。 10, 817-821 (1980).MSC公司:68N99型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.W.Fraser},软。,实际。专家。10、817--821(1980;Zbl 0439.68046) 全文: 内政部
Rakesh K·阿加瓦尔。;Samuel T.Chanson。 BCPL的一种节省空间的代码生成方案。 (英语) 兹比尔0428.68017 软质。,实际。专家。 10, 77-95 (1980).MSC公司:60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{R.K.Agarwal}和\textit{S.T.Chanson},Softw。,实际。专家。10、77——95(1980;Zbl 0428.68017) 全文: 内政部
Masaaki岛崎;志贺富佳;池田克雄;竹桥清野 分析编译程序编写中的Pascal程序。 (英语) Zbl 0428.68016号 软质。,实际。专家。 10, 149-157 (1980).MSC公司:60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{M.Shimasaki}等人,软件。,实际。专家。10、149--157(1980年;Zbl 0428.68016) 全文: 内政部
D.D.科恩。;J.W.格雷厄姆。;J.W.韦尔奇。;卢塞纳,C.J.P。 一种以数据为导向的程序构造方法。 (英语) Zbl 0427.68021号 软质。,实际。专家。 10, 355-372 (1980).MSC公司:60年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{D.D.Cowan}等人,软件。,实际。专家。10、355--372(1980;Zbl 0427.68021) 全文: 内政部
Al-Jarrah,M。;印度托森。 COBOL程序的经验分析。 (英语) Zbl 0399.68018号 软质。,实际。专家。 9, 341-359 (1979).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Al-Jarrah}和\textit{I.S.Torsun},软件。,实际。专家。9、341--359(1979年;Zbl 0399.68018) 全文: 内政部
川井,佐藤 类ALGOL程序的格结构分割。 (英语) Zbl 0396.68009号 软质。,实际。专家。 9, 485-489 (1979).MSC公司:60年第68季度 第68页第25页 68号01 PDF格式BibTeX公司 XML格式引用 \textit{S.Kawai},软。,实际。专家。9、485--489(1979年;Zbl 0396.68009) 全文: 内政部
劳森、索伦 调试技术。 (英语) Zbl 0386.68015号 软质。,实际。专家。 9, 51-63 (1979).MSC公司:60年第68季度 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{S.Lauesen},软。,实际。专家。9、51-63(1979年;Zbl 0386.68015) 全文: 内政部