×
伊达、舒萨克（编辑）；何塞·梅塞盖尔（编辑）；Kazuhiro绪方（编辑）

规范、代数和软件。专为Kokichi Futatsugi撰写的论文。 （英语） Zbl 1283.68036号

计算机科学课堂讲稿8373.柏林：施普林格出版社（ISBN 978-3-642-54623-5/pbk）。xxi，657页。(2014).

将索引文章显示为搜索结果。

对数学感兴趣的文章将单独复习。
索引文章：
比约纳，餐厅，域持久性。分析和描述过程模型，1-34[Zbl 1407.68072号]
迪亚科内斯库，勒兹万，CafeOBJ痕迹，53-65[Zbl 1407.68307号]
莫萨科夫斯基，蒂尔；佩·奥斯基（Pawłowski）、维斯·aw；唐纳德·桑内拉；安德烈·塔莱基，CafeOBJ逻辑用羊皮纸，66-91[Zbl 1407.68311号]
中村，Masaki；绪方，Kazuhiro；高基町五指，OBJ规范终止、合流和充分完整性的增量证明，92-109[Zbl 1407.68312号]
奥斯卡·马汀；阿尔贝托·维尔德乔（Alberto Verdejo）；马丁·奥列特，纳西索，无限系统上的模型检查TLR*保证公式，129-150[Zbl 1407.68296号]
赵永新；董劲松；刘，杨；孙骏《走向CafeOBJ和PAT的结合》，151-170[兹比尔1407.68304]
马利亚阿尔普特；黛米斯·巴利斯；弗朗西斯科·弗雷奇纳；朱莉娅·萨皮娜，检查重写逻辑计算（以参数和逐步方式），229-255[Zbl 1407.68097号]
西蒙·克鲁恩斯（Simon Cruanes）；斯迪恩·海曼斯；伊恩·梅森（Ian Mason）；Owre，Sam；Natarajan Shankar，证据工具总线的数据日志语义（扩展抽象），256-275[Zbl 1407.68079号]
格里戈尔·罗什；多雷尔·卢卡努，行为重写系统和行为生产力，296-314[Zbl 1407.68242号]
圣地亚哥埃斯科瓦尔，Maude的功能逻辑编程，315-336[Zbl 1407.68081号]
刘嘉祥；Jean-Pierre Jouannaud《融合：地方的统一表达力》，337-358[Zbl 1407.68101号]
罗尔夫·亨尼克；安娜贝拉·克拉尔《集成建模基础——海伦娜方法》。处理具有复杂集成架构的大规模分布式系统，359-381[Zbl 1320.68118号]
罗伯托·布鲁尼；埃尔南·梅尔格拉蒂；乌戈·蒙塔纳里，行为、相互作用和动力学，382-401[Zbl 1407.68098号]
斯特尔，马克·奥利弗；金敏英；卡罗琳·塔尔科特，分布式计算其他模型背景下的部分有序知识共享和分馏系统，402-433[Zbl 1407.68339号]
安妮·E·哈克斯豪森。，强制性RSL规范机构，441-464[Zbl 1407.68309号]
Yaku、Takeo；阿纳达（Koichi Anada）；安扎伊、库什；Koka、Shinji；Miyadera，Youzou；津田贤成，表格形式的（8k）元网格图模型，465-477[兹比尔1407.68376]
张敏；绪方，Kazuhiro；高基町五指，验证OTS/CafeOBJ方法中动态软件更新的设计，560-577[Zbl 1407.68103号]
戈因纳，丹尼尔；多雷尔·卢卡努；绪方，Kazuhiro；高基町五指，关于OTS/CafeOBJ方法的自动化，578-602[Zbl 1407.68308号]
卡米洛·罗查；何塞·梅塞盖尔，使用Maude不变量分析工具对交替位协议中的可靠通信进行机械分析，603-629[Zbl 1407.68302号]
绪方，Kazuhiro；高基町五指，基于OTS重写理论规范的证明分数的定理证明，630-656[Zbl 1407.68298号]

引用于三文件

MSC公司：

68-06 与计算机科学有关的论文集、会议、文集等
68号30 软件工程的数学方面（规范、验证、度量、需求等）
2012年第68季度 语法和重写系统
60年第68季度 规范和验证（程序逻辑、模型检查等）
00B30型 费斯特施里夫滕

传记参考文献：

高基町五指
PDF格式BibTeX公司 XML格式引用
\textit{S.Iida}（编辑）等人，《规范、代数和软件》。专为Kokichi Futatsugi撰写的论文。柏林：施普林格出版社（2014；Zbl 1283.68036）
全文： 内政部