×

找到41个文档(结果1-41)

CASL/SPASS中简单UML状态机的基于机构的编码和验证。 (英语) Zbl 07415136号

Roggenbach,Markus(编辑),代数开发技术的最新趋势。第25届国际研讨会,WADT 2020,虚拟活动,2020年4月29日。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。12669, 120-141 (2021).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用

ASP、合并和概念混合工作流。 (英语) Zbl 1467.68165号

Calimeri,Francesco(编辑)等人,《逻辑编程和非单调推理》。第13届国际会议,LPNMR 2015,美国肯塔基州列克星敦,2015年9月27日至30日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9345, 309-316 (2015).
MSC公司:68T20型 68N17号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

弱互模拟作为MSOS中的同余。 (英语) Zbl 1321.68363号

Martí-Oliet,Narciso(编辑)等人,《逻辑、重写和并发》。纪念何塞·梅塞盖尔65岁生日的文章。查姆:施普林格(ISBN 978-3-319-23164-8/pbk;978-3-3169-23165-5/电子书)。计算机科学讲义9200,519-538(2015)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

面向UML中异构正式开发的机构框架——一份立场文件。 (英语) Zbl 1453.68107号

De Nicola,Rocco(编辑)等人,《软件、服务和系统》。马丁·威辛(Martin Wirsing)于2015年从德国慕尼黑的编程和软件工程主席退休之际发表的论文。论文。查姆:斯普林格。莱克特。注释计算。科学。8950, 215-230 (2015).
MSC公司:68问题65 68甲15
PDF格式BibTeX公司 XML格式引用

具有继承性和多态性的Object-Z机构。 (英语) Zbl 1453.68043号

De Nicola,Rocco(编辑)等人,《软件、服务和系统》。马丁·威辛(Martin Wirsing)于2015年从德国慕尼黑的编程和软件工程主席退休之际发表的论文。论文。查姆:斯普林格。莱克特。注释计算。科学。8950, 134-154 (2015).
MSC公司:68号30 68问题65
PDF格式BibTeX公司 XML格式引用
全文: 内政部

过程和数据机构中的组合建模和推理。 (英语) Zbl 1312.68146号

Mossakowski,Till(编辑)等人,代数发展技术的最新趋势。2010年7月1日至4日,第20届WADT国际研讨会,德国埃特森。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-28411-3/pbk)。计算机科学课堂讲稿7137251-269(2012)。
MSC公司:68问题65
PDF格式BibTeX公司 XML格式引用
全文: 内政部

模型理论隐藏的证明理论解释。 (英语) Zbl 1278.68202号

Mossakowski,Till(编辑)等人,代数发展技术的最新趋势。2010年7月1日至4日,第20届WADT国际研讨会,德国埃特森。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-28411-3/pbk)。计算机科学课堂讲稿7137118-138(2012)。
MSC公司:68问题65 03B40型 68吨15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Casl建筑规范中的Lambda表达式。 (英语) Zbl 1312.68141号

Mossakowski,Till(编辑)等人,代数发展技术的最新趋势。2010年7月1日至4日,第20届WADT国际研讨会,德国埃特森。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-28411-3/pbk)。计算机科学讲义7137,98-117(2012)。
MSC公司:68问题65 68号30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Casl-Mdl,使用正式基础和类似UML的符号对动态系统进行建模。 (英语) Zbl 1312.68140号

Mossakowski,Till(编辑)等人,代数发展技术的最新趋势。2010年7月1日至4日,第20届WADT国际研讨会,德国埃特森。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-28411-3/pbk)。计算机科学讲义7137,76-97(2012)。
MSC公司:68问题65
PDF格式BibTeX公司 XML格式引用
全文: 内政部

我的ADT神殿。 (英语) Zbl 1314.68008号

Mossakowski,Till(编辑)等人,代数发展技术的最新趋势。2010年7月1日至4日,第20届WADT国际研讨会,德国埃特森。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-28411-3/pbk)。《计算机科学讲义》7137,13-24(2012)。
MSC公司:68-03 68问题65
PDF格式BibTeX公司 XML格式引用
全文: 内政部

将莫德融入赫茨。 (英语) Zbl 1308.68075号

Johnson,Michael(编辑)等人,《代数方法论和软件技术》。2010年6月23日至25日,加拿大魁北克省Lac-Beauport,AMAST 2010,第13届国际会议。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-17795-8/pbk)。计算机科学课堂讲稿6486,60-75(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

异构开发图的更改管理。 (英语) Zbl 1309.68129号

Siegler,Simon(编辑)等人,《验证、归纳、终止分析》。在克里斯托夫·沃尔特60岁生日之际,为他举行庆祝活动。柏林:施普林格出版社(ISBN 978-3-642-17171-0/pbk)。计算机科学课堂讲稿6463。人工智能课堂讲稿,54-80(2010)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

结构操作语义中的隐式传播。 (英语) Zbl 1339.68159号

Hennessy,Matthew(编辑)等人,《结构操作语义第五次研讨会论文集》(SOS 2008),冰岛雷克雅未克,2008年7月6日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记229,第4期,49-66(2009)。
MSC公司:第68季度55 68号30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

有序参数化和归纳。 (英语) Zbl 1253.68215号

Palsberg,Jens(编辑),语义和代数规范。在彼得·D·摩斯60岁生日之际为他撰写的论文。柏林:施普林格出版社(ISBN 978-3-642-04163-1/pbk)。计算机科学课堂讲稿5700,43-80(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Csp-Casl的属性保持细化。 (英语) Zbl 1253.68229号

Corradini,Andrea(编辑)等人,代数开发技术的最新趋势。2008年6月13日至16日在意大利比萨举行的WADT 2008第19届国际研讨会。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-03428-2/pbk)。计算机科学课堂讲稿5486,206-220(2009)。
MSC公司:68问题65
PDF格式BibTeX公司 XML格式引用
全文: 内政部

广义理论制度同构。 (英语) Zbl 1253.68226号

Corradini,Andrea(编辑)等人,代数开发技术的最新趋势。2008年6月13日至16日在意大利比萨举行的WADT 2008第19届国际研讨会。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-03428-2/pbk)。计算机科学课堂讲稿5486,88-101(2009)。
MSC公司:68问题65
PDF格式BibTeX公司 XML格式引用
全文: 内政部

生命科学本体论的数学逻辑。 (英语) Zbl 1246.68211号

Ono,Hirakira(编辑)等人,《逻辑、语言、信息和计算》。2009年6月21日至24日,第16届国际研讨会,WoLLIC 2009,日本东京。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02260-9/pbk)。计算机科学课堂讲稿5514。人工智能课堂讲稿,37-47(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

自动化非自由生成数据类型的代数规范。 (英语) 兹比尔1183.68368

Cha,Sungdeok(Steve)(编辑)等人,验证和分析自动化技术。2008年10月20日至23日,第六届国际研讨会,ATVA 2008,韩国首尔。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-88386-9/pbk)。计算机科学课堂讲稿5311,141-155(2008)。
MSC公司:60年第68季度 68问题65 68吨15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

相关排序逻辑。 (英语) Zbl 1139.03020号

Miculan,Marino(编辑)等人,《证明和程序的类型》。2007年5月2日至5日,意大利弗留利市Cividale des Friuli国际会议,TYPES 2007。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-540-68084-0/pbk)。《计算机科学讲义》4941,33-50(2008)。
MSC公司:03B70号 03B10号机组 03B15号机组 03B20型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在CASL中实施局部间隔。 (英语) Zbl 1279.68234号

Sampaio,Augusto(编辑),第二届巴西正式方法研讨会论文集(SBMF 2005),Porto Alegre,RS,巴西,2005年11月30日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记184133-149(2007)。
MSC公司:68问题65
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

出版年份

主字段