中国机械工程学会生产工程分会知识服务平台 | sc.gmachineinfo.com

期刊

ISSN	0167-6423
刊名	Science of Computer Programming
参考译名	计算机程序设计科学
收藏年代	2002～2024

全部

题名	作者	出版年	年卷期
Introduction to the ABZ 2014 special issue Preface	Ait-Ameur, Yamine; Schewe, Klaus-Dieter	2016	2016, vol.131
Towards a comprehensive extension of abstract state machines for aspect-oriented specification	Dausend, Marcel; Raschke, Alexander	2016	2016, vol.131
Modular, crash-safe refinement for ASMs with submachines	Ernst, Gidon; Pfaehler, Joerg; Schellhorn, Gerhard; Reif, Wolfgang	2016	2016, vol.131
Serialisable multi-level transaction control: A specification and verification	Borger, Egon; Schewe, Klaus-Dieter; Wang, Qing	2016	2016, vol.131
Large-scale system development using Abstract Data Types and refinement	Furst, Andreas; Hoang, Thai Son; Basin, David; Sato, Naoto; Miyazaki, Kunihiko	2016	2016, vol.131
The correctness of event-B inductive convergence	Hallerstede, Stefan	2016	2016, vol.131
A formal validation of the RBAC ANSI 2012 standard using B	Huynh, Nghi; Frappier, Marc; Mammar, Amel; Laleau, Regine; Desharnais, Jules	2016	2016, vol.131
Translating B to TLA(+) for validation with TLC	Leuschel, Michael; Hansen, Dominik	2016	2016, vol.131
Formal development of multi-agent systems using MAZE	Li, Qin; Smith, Graeme	2016	2016, vol.131