首页>外文会议>其他>Festkolloquium on the occasion of Egon Borger's 60th birthday

Festkolloquium on the occasion of Egon Borger's 60th birthday

召开年：
召开地：
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Using Abstract State Machines for the Design of Multi-level Transaction Schedulers

机译：使用抽象状态机来设计多级交易调度员
- 作者：Markus Kirchberg;Klaus-Dieter Schewe;Jane Zhao
- 会议名称：《Festkolloquium on the occasion of Egon Borger's 60th birthday》 | 2009年
2.Ten Reasons to Metamodel ASMs

机译：Metamodel Asms的十个理由
- 作者：Angelo Gargantini;Elvinia Riccobene;Patrizia Scandurra
- 会议名称：《Festkolloquium on the occasion of Egon Borger's 60th birthday》 | 2009年
3.CoreASM Plug-In Architecture

机译：Coreasm插件架构
- 作者：R. Farahbod;V. Gervasi;U. Glasser;G. Ma
- 会议名称：《Festkolloquium on the occasion of Egon Borger's 60th birthday》 | 2009年
4.Designing Old and New Distributed Algorithms by Replaying an Incremental Proof-Based Development

机译：通过重播基于增量证明的开发来设计旧的分布式算法
- 作者：Dominique Cansell;Dominique Mery
- 会议名称：《Festkolloquium on the occasion of Egon Borger's 60th birthday》 | 2009年
- Formal method;
- B event-based method;
- refinement;
- safety;
- proofs;
- distributed systems;
5.Validating and Animating Higher-Order Recursive Functions in B

机译：验证和动画B中的高阶递归函数
- 作者：Michael Leuschel;Dominique Cansell;Michael Butler
- 会议名称：《Festkolloquium on the occasion of Egon Borger's 60th birthday》 | 2009年
- B-Method;
- Tool Support;
- Model Checking;
- Animation;
- Logic Programming;
- Constraints;
6.A Systematic Verification Approach for Mondex Electronic Purses Using ASMs

机译：使用ASMS的Mondex电子钱包系统验证方法
- 作者：Gerhard Schellhorn;Holger Grandy;Dominik Haneberg;Nina Moebius;Wolfgang Reif
- 会议名称：《Festkolloquium on the occasion of Egon Borger's 60th birthday》 | 2009年
7.A Step towards Merging xUML and CSP B

机译：迈向合并XUML和CSP 的一步B.
- 作者：Helen Treharne;Steve Schneider;Neil Grant;Neil Evans;Wilson Ifill
- 会议名称：《Festkolloquium on the occasion of Egon Borger's 60th birthday》 | 2009年
8.Ten Commandments Ten Years On:Lessons for ASM, B, Z and VSR-net

机译：十年十个诫命：ASM，B，Z和VSR网的课程
- 作者：Jonathan P. Bowen;Michael G. Hinchey
- 会议名称：《Festkolloquium on the occasion of Egon Borger's 60th birthday》 | 2009年
9.On the Evolution of OCL for Capturing Structural Constraints in Modelling Languages

机译：在模拟语言中捕获结构约束的OCL的演变
- 作者：Dimitrios S. Kolovos;Richard F. Paige;Fiona A.C. Polack
- 会议名称：《Festkolloquium on the occasion of Egon Borger's 60th birthday》 | 2009年
10.Relaxing Restrictions on Invariant Composition in the B Method by Ownership Control a la Spec#

机译：通过所有权控制LA规格的B方法中不变成分的放宽限制
- 作者：Sylvain Boulme;Marie-Laure Potet
- 会议名称：《Festkolloquium on the occasion of Egon Borger's 60th birthday》 | 2009年
11.Management of UML Clusters

机译：管理UML集群
- 作者：Peggy Schmidt;Bernhard Thalheim
- 会议名称：《Festkolloquium on the occasion of Egon Borger's 60th birthday》 | 2009年
12.JAS Mine: Accessing Java Code from CoreASM

机译：JAS矿：从Coreasm访问Java代码
- 作者：Vincenzo Gervasi;Roozbeh Farahbod
- 会议名称：《Festkolloquium on the occasion of Egon Borger's 60th birthday》 | 2009年
13.A Modular Verification Methodology for C# Delegates

机译：C＃委托的模块化验证方法
- 作者：Peter Müller;Joseph N. Ruskiewicz
- 会议名称：《Festkolloquium on the occasion of Egon Borger's 60th birthday》 | 2009年
14.An ASM-Characterization of a Class of Distributed Algorithms

机译：一类分布式算法的ASM表征
- 作者：Andreas Glausch;Wolfgang Reisig
- 会议名称：《Festkolloquium on the occasion of Egon Borger's 60th birthday》 | 2009年