×

找到15个文档（结果1-15）

最新的 引文 关联
丹尼斯·R·达姆。;Kedar S.Namjoshi。

Orion：用于C和C++程序静态误差分析的高精度方法。 （英语） Zbl 1196.68039号

de Boer，Frank S.（编辑）等人，组件和对象的形式化方法。2005年11月1日至4日，荷兰阿姆斯特丹，第四届国际研讨会，FMCO 2005。修订的讲座。柏林：施普林格出版社（ISBN 3-540-36749-7/pbk）。《计算机科学讲义》4111138-160（2006）。
MSC公司：68甲19
PDF格式BibTeX公司 XML格式引用
\textit{D.R.Dams}和\textit{K.S.Namjoshi}，莱克特。注释计算。科学。4111、138--160（2006；Zbl 1196.68039）
全文： 内政部
保罗·托内拉;亚历山德拉·波特里奇

面向对象代码的逆向工程。 （英语） Zbl 1070.68024号

计算机科学专著。纽约州纽约市：施普林格出版社（ISBN 0-387-40295-0/hbk）。xiv，208页。(2005).
审核人：汉斯·杰根·霍夫曼（达姆施塔特）
MSC公司：68甲19 68号30 68-02
PDF格式BibTeX公司 XML格式引用
\textit{P.Tonella}和\textit{A.Potrich}，面向对象代码的逆向工程。纽约州纽约市：施普林格（2005；Zbl 1070.68024）
文卡特斯·普拉萨德·兰加纳思;约翰·哈特克利夫

修剪并发Java程序切片的干扰和就绪依赖。 （英语） Zbl 1125.68344号

Duesterwald，Evelyn（编辑），编译器构造。2004年3月29日至4月2日在西班牙巴塞罗那举行的第13届国际会议（CC 2004），是欧洲软件理论与实践联合会议（ETAPS 2004）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-21297-3/pbk）。计算机科学课堂讲稿2985，39-56（2004）。
MSC公司：68甲19 68N20型
PDF格式BibTeX公司 XML格式引用
\textit{V.P.Ranganath}和\textit{J.Hatcliff}，莱克特。注释计算。科学。2985，39-56（2004；Zbl 1125.68344）
全文： 内政部
萨加·查基;约尔·瓦克宁;凯伦·约拉夫;埃德蒙·克拉克

并发C程序的自动组合抽象细化：一种两级方法。 （英语） Zbl 1271.68081号

Dawar，Anuj（编辑），SoftMC 2003。2003年6月26日至27日，加拿大渥太华，软件模型检查研讨会（2003年CAV卫星研讨会）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》89，第3期，417-432（2003）。
MSC公司：68甲19 68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Chaki}等人，《电子》。注释Theor。计算。科学。89，No.3，417--432（2003；Zbl 1271.68081）
全文： 链接
萨米·伊万格利斯塔;克劳德·凯泽;让-弗朗索瓦Pradat Peyre;皮埃尔·卢梭

类星体：用于并发Ada程序分析的新工具。 （英语） Zbl 1032.68849号

Rosen，Jean-Pierre（编辑）等人，《可靠的软件技术——Ada-Europe 2003》。第八届Ada-Europe可靠软件技术国际会议，法国图卢兹，2003年6月16-20日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。第2655168-181页（2003年）。
MSC公司：68单位99 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{S.Evangelista}等人，莱克特。注释计算。科学。2655168--181（2003年；Zbl 1032.68849）
全文： 链接
曼达纳州瓦齐里;丹尼尔·杰克逊

使用约束解算器检查堆操作过程的属性。 （英语） Zbl 1031.68518号

Garavel，Hubert（编辑）等人，《系统构建和分析的工具和算法》。2003年4月7日至11日在波兰华沙举行的2003年第9届TACAS国际会议，是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2619, 505-520 (2003).
MSC公司：68甲19 68号30
PDF格式BibTeX公司 XML格式引用
\textit{M.Vaziri}和\textit{D.Jackson}，莱克特。注释计算。科学。2619505--520（2003年；Zbl 1031.68518）
全文： 链接
尼尔·D·琼斯。;阿恩·格伦斯特鲁普。

程序生成、终止和绑定时分析。 （英语） Zbl 1028.68795号

Batory，Don（编辑）等人，《生成编程和组件工程》，ACM SIGPLAN/SIGSOFT会议，2002年GPCE，宾夕法尼亚州匹兹堡，美国，2002年10月6-8日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2487, 1-31 (2002).
MSC公司：68单位99 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{N.D.Jones}和\textit{A.J.Glenstrup}，莱克特。注释计算。科学。2487，1--31（2002；Zbl 1028.68795）
全文： 链接
德波尔，F.S。;C·皮尔里克。

带注释的面向对象程序的计算机辅助规范和验证。 （英语） Zbl 1048.68050号

Jacobs，Bart（ed.）等人，开放对象分布式系统的形式化方法V.IFIP TC6/WG6.1第五届国际会议，FMOODS 2002，荷兰恩舍德，2002年3月20日至22日。波士顿：Kluwer学术出版社（ISBN 0-7923-7683-8）。IFIP，国际联邦信息流程。81, 163-177 (2002).
MSC公司：60年第68季度 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{F.S.de Boer}和\textit{C.Pierik}，IFIP，国际联邦信息处理协会。81、163--177（2002年；Zbl 1048.68050）
斯科特·斯托勒。;刘燕红A。

模型检查分布式Java程序的转换。 （英语） Zbl 0985.68663号

马修·德怀尔（编辑），《模型检查软件》。第八届国际SPIN研讨会，加拿大多伦多，2001年5月19日至20日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2057, 192-199 (2001).
MSC公司：68单位99 60年第68季度 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{S.D.Stoller}和\textit{Y.A.Liu}，Lect。注释计算。科学。2057192-199（2001年；Zbl 0985.68663）
全文： 链接
克劳斯·哈维隆德

使用运行时分析指导Java程序的模型检查。 （英语） Zbl 0976.68576号

Havelund，Klaus（编辑）等人，SPIN模型检查和软件验证。第七届国际SPIN研讨会，2000年8月30日至9月1日，美国加利福尼亚州斯坦福市。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1885, 245-264 (2000).
MSC公司：68单位99 68甲19 68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Havelund}，莱克特。注释计算。科学。1885245-264（2000年；Zbl 0976.68576）

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件