首页>外文会议>其他>International Conference of B and Z Users

International Conference of B and Z Users

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

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Typechecking Z

机译：typechecking z.
- 作者：Ian Toyn;Samuel H. Valentine;Susan Stepney;Steve King
- 会议名称：《International Conference of B and Z Users》 | 2000年
2.Reconciling Axiomatic and Model-Based Specifications Using the B Method

机译：使用B方法协调基于轴型和模型的规格
- 作者：Ken Robinson
- 会议名称：《International Conference of B and Z Users》 | 2000年
- Formal specification;
- Axiomatic;
- Model-based;
- Refinement;
- B Method;
3.Segregation with Communication

机译：与沟通隔离
- 作者：David Cooper;Susan Stepney
- 会议名称：《International Conference of B and Z Users》 | 2000年
4.A Formal Mapping between UML Models and Object-Z Specifications

机译：UML模型和Object-Z规范之间的正式映射
- 作者：Soon-Kyeong Kim;David Carrington
- 会议名称：《International Conference of B and Z Users》 | 2000年
5.Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context

机译：B-方法中的组成结构：静态上下文的逻辑观点
- 作者：Theo Dimitrakos;Juan Bicarregui;Brian Matthews;Tom Maibaum
- 会议名称：《International Conference of B and Z Users》 | 2000年
6.Fuzzy Concepts and Formal Methods: A Fuzzy Logic Toolkit for Z

机译：模糊概念和形式方法：z的模糊逻辑工具包
- 作者：Chris Matthews;Paul A. Swatman
- 会议名称：《International Conference of B and Z Users》 | 2000年
- Formal specification;
- requirements determination;
- Fuzzy set theory;
7.Formal Methods for Industrial Products

机译：工业产品的正式方法
- 作者：Susan Stepney;David Cooper
- 会议名称：《International Conference of B and Z Users》 | 2000年
8.Are Smart Cards the Ideal Domain for Applying Formal Methods?

机译：智能卡是应用正式方法的理想域吗？
- 作者：Jean-Louis Lanet
- 会议名称：《International Conference of B and Z Users》 | 2000年
9.Analysis of Compiled Code: A Prototype Formal Model

机译：编译代码分析：原型正式模型
- 作者：R. D. Arthan
- 会议名称：《International Conference of B and Z Users》 | 2000年
10.An Execution Architecture for GSL

机译：用于GSL的执行架构
- 作者：Bill Stoddart
- 会议名称：《International Conference of B and Z Users》 | 2000年
- Animation;
- Virtual Machines;
- Reversible Computation;
11.Guards, Preconditions, and Refinement in Z

机译：z的守卫，前提条件和细化
- 作者：Ralph Miarka;Eerke Boiten;John Derrick
- 会议名称：《International Conference of B and Z Users》 | 2000年
12.Reasoning Inductively about Z Specifications via Unification

机译：通过Unifigation致电地推理Z规范
- 作者：David A. Duffy;Ian Toyn
- 会议名称：《International Conference of B and Z Users》 | 2000年
13.Program Development and Specification Refinement in the Schema Calculus

机译：在架构微积分中的计划开发和规范细化
- 作者：Martin C. Henson;Steve Reeves
- 会议名称：《International Conference of B and Z Users》 | 2000年
14.Retrenchment, Refinement, and Simulation

机译：retrenchment，改进和模拟
- 作者：R. Banach;M. Poppleton
- 会议名称：《International Conference of B and Z Users》 | 2000年
- Retrenchment;
- Refinement;
- Simulation;
- B-Method;
15.Deriving Software Specifications from Event Based Models

机译：从基于事件的模型中派生软件规范
- 作者：Nestor Lopez;Marianne Simonot;Veronique Viguie Donzeau-Gouge
- 会议名称：《International Conference of B and Z Users》 | 2000年
- Atomic Operation;
- Program Specification;
- Event;
- System model;
- System Property;
- Environment Interaction;
- Concurrent Process;
- Distributed System;
- Shared module;
- Refinement;
16.Recursive Schema Definitions in Object-Z

机译：Object-Z中的递归架构定义
- 作者：Graeme Smith
- 会议名称：《International Conference of B and Z Users》 | 2000年
17.A Formal Architecture for the 3APL Agent Programming Language

机译：3APL代理编程语言的正式架构
- 作者：Mark dInverno;Koen Hindriks;Michael Luck
- 会议名称：《International Conference of B and Z Users》 | 2000年
18.A Computation Model for Z Based on Concurrent Constraint Resolution

机译：基于并发约束分辨率的z计算模型
- 作者：Wolfgang Grieskamp
- 会议名称：《International Conference of B and Z Users》 | 2000年
19.Playing with Abstraction and Refinement for Managing Features Interactions: A Methodological Approach to Feature Interaction Problem

机译：使用抽象和细化来管理特征交互：一种特征互动问题的方法方法
- 作者：Dominique Cansell;Dominique Mery
- 会议名称：《International Conference of B and Z Users》 | 2000年
20.Closure Induction in a Z-Like Language

机译：以z样语言闭合诱导
- 作者：David A. Duffy;Jurgen Giesl
- 会议名称：《International Conference of B and Z Users》 | 2000年
21.How to Drive a B Machine

机译：如何驾驶B机器
- 作者：Helen Treharne;Steve Schneider
- 会议名称：《International Conference of B and Z Users》 | 2000年
- B-Method;
- CSP;
- Embedded Systems;
- Programming Calculi;
- Combining Formalisms;
22.A Generic Process to Refine a B Specification into a Relational Database Implementation

机译：将B规范中的一种泛型过程融入关系数据库实现
- 作者：Regine Laleau;Amel Mammar
- 会议名称：《International Conference of B and Z Users》 | 2000年
- B method;
- Refinement Process;
- Relational Database Implementation;
23.Automatic Construction of Validated B Components from Structured Developments

机译：从结构化发展自动构建验证的B组件
- 作者：Pierre Bontron;Marie-Laure Potet
- 会议名称：《International Conference of B and Z Users》 | 2000年
24.Type-Constrained Generics for Z

机译：用于z的类型约束泛型
- 作者：Samuel H. Valentine;Ian Toyn;Susan Stepney;Steve King
- 会议名称：《International Conference of B and Z Users》 | 2000年
25.On Mutually Recursive Free Types in Z

机译：关于z的相互递归类型
- 作者：I. Toyn;S. H. Valentine;D. A. Duffy
- 会议名称：《International Conference of B and Z Users》 | 2000年
26.Reformulate Dynamic Properties during B Refinement and Forget Variants and Loop Invariants

机译：在B细化期间重新格式化动态属性，忘记变体和循环不变
- 作者：F. Bellegarde;C. Darlot;J. Julliand;O. Kouchnarenko
- 会议名称：《International Conference of B and Z Users》 | 2000年
- Event Systems;
- B Refinement Design;
- Dynamic properties;
- Specification;
- Verification;
27.Performing Algorithmic Refinement before Data Refinement in B

机译：在B中的数据细化之前执行算法细化
- 作者：Michael Butler;Mairead Meagher
- 会议名称：《International Conference of B and Z Users》 | 2000年
28.ABS Project: Merging the Best Practices in Software Design from Railway and Aircraft Industries

机译：ABS项目：利用铁路和飞机行业的软件设计中的最佳实践
- 作者：Pierre Chartier
- 会议名称：《International Conference of B and Z Users》 | 2002年
29.On Using Conditional Definitions in Formal Theories

机译：在正式理论中使用条件定义
- 作者：Jean-Raymond Abrial;Louis Mussat
- 会议名称：《International Conference of B and Z Users》 | 2002年
30.Type Synthesis in B and the Translation of B to PVS

机译：在B中键入合成以及B到PVS的翻译
- 作者：Jean-Paul Bodeveix;Mamoun Filali
- 会议名称：《International Conference of B and Z Users》 | 2002年
- B;
- semantics;
- logical frameworks;
- type theory;
- PVS;
31.Incremental Proof of the Producer/Consumer Property for the PCI Protocol

机译：PCI协议的生产者/消费者属性的增量证明
- 作者：Dominique Cansell;Ganesh Gopalakrishnan;Mike Jones;Dominique Mery;Airy Weinzoepflen
- 会议名称：《International Conference of B and Z Users》 | 2002年
32.Generalized Substitution Language and Differentials

机译：广义替代语言和差异
- 作者：James Blow;Andy Galloway
- 会议名称：《International Conference of B and Z Users》 | 2002年
33.A Theory of Generalized Substitutions

机译：广义取代理论
- 作者：Steve Dunne
- 会议名称：《International Conference of B and Z Users》 | 2002年
34.Global and Communicating State Machine Models in Event Driven B: A Simple Railway Case Study

机译：在活动驱动B中的全球和沟通状态机模型B：一个简单的铁路案例研究
- 作者：Antonis Papatsaras;Bill Stoddart
- 会议名称：《International Conference of B and Z Users》 | 2002年
35.Theories, Implementations, and Transformations

机译：理论，实现和转换
- 作者：Eric Hehner;Ioannis T. Kassios
- 会议名称：《International Conference of B and Z Users》 | 2002年
36.The Semantics of Circus

机译：马戏团的语义
- 作者：Jim Woodcock;Ana Cavalcanti
- 会议名称：《International Conference of B and Z Users》 | 2002年
37.A Formal Model of the UML Metamodel: The UML State Machine and Its Integrity Constraints

机译：UML Metamodel的正式模型：UML状态机及其完整性约束
- 作者：Soon-Kyeong Kim;David Carrington
- 会议名称：《International Conference of B and Z Users》 | 2002年
38.Encoding Object-Z in Isabelle/HOL

机译：编码Isabelle / Hol中的Object-Z.
- 作者：Graeme Smith;Florian Kammuller;Thomas Santen
- 会议名称：《International Conference of B and Z Users》 | 2002年
- Object-Z;
- Reference semantics;
- Higher-order logic;
- Isabelle;
39.Verification of Dynamic Constraints for B Event Systems under Fairness Assumptions

机译：公平假设下B事件系统的动态约束验证
- 作者：Francoise Bellegarde;Samir Chouali;Jacques Julliand
- 会议名称：《International Conference of B and Z Users》 | 2002年
- B event systems;
- Fairness hypotheses;
- Specification;
- PLTL verification;
40.Communicating B Machines

机译：沟通B机器
- 作者：Steve Schneider;Helen Treharne
- 会议名称：《International Conference of B and Z Users》 | 2002年
- B-Method;
- CSP;
- Combining Formalisms;
- Concurrency;
41.Loose Specification and Refinement in Z

机译：z的宽松规格和细化
- 作者：Eerke Boiten
- 会议名称：《International Conference of B and Z Users》 | 2002年
- Z;
- Refinement;
- Semantics;
- Model containment;
- States-and-operations;
- Loose specification;
42.Software Construction by Stepwise Feature Introduction

机译：软件施工逐步介绍
- 作者：Ralph-Johan Back
- 会议名称：《International Conference of B and Z Users》 | 2002年
43.Extraction of Abstraction Invariants for Data Refinement*

机译：提取数据细化的抽象不变*
- 作者：Marielle Doche;Andrew Gravell
- 会议名称：《International Conference of B and Z Users》 | 2002年
- Formal specification;
- CSP;
- Failure refinement;
- B;
- Data refinement;
- Distributed system;
44.A Formal Analysis of the CORBA Security Service*

机译：对CORBA安全服务的正式分析*
- 作者：David Basin;Frank Rittinger;Luca Vigano
- 会议名称：《International Conference of B and Z Users》 | 2002年
45.'Higher-Order' Mathematics in B

机译：B中的“高阶”数学
- 作者：Jean-Raymond Abrial;Dominique Cansell;Guy Laffitte
- 会议名称：《International Conference of B and Z Users》 | 2002年
46.A Comparison of the BTT and TTF Test-Generation Methods

机译：BTT和TTF测试生成方法的比较
- 作者：Bruno Legeard;Fabien Peureux;Mark Utting
- 会议名称：《International Conference of B and Z Users》 | 2002年
47.An Approach to Combining B and Alloy

机译：结合B和合金的方法
- 作者：Leonid Mikhailov;Michael Butler
- 会议名称：《International Conference of B and Z Users》 | 2002年
- B-method;
- Alloy;
48.Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development

机译：来自UML到B：一个支持严谨性的可追溯性的建议
- 作者：Regine Laleau;Fiona Polack
- 会议名称：《International Conference of B and Z Users》 | 2002年
49.Synchronized Parallel Composition of Event Systems in B

机译：B中的事件系统同步并联组成
- 作者：Francoise Bellegarde;Jacques Julliand;Olga Kouchnarenko
- 会议名称：《International Conference of B and Z Users》 | 2002年
50.Characters + Mark-up = Z Lexis

机译：字符+ mark-up = z lexis
- 作者：Ian Toyn;Susan Stepney
- 会议名称：《International Conference of B and Z Users》 | 2002年
51.Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing

机译：加强条件/决策覆盖（RC / DC）：软件测试的新标准
- 作者：Sergiy A. Vilkomir;Jonathan P. Bowen
- 会议名称：《International Conference of B and Z Users》 | 2002年
52.Handling Inconsistencies in Z Using Quasi-Classical Logic

机译：使用准古典逻辑处理Z中的不一致
- 作者：Ralph Miarka;John Derrick;Eerke Boiten
- 会议名称：《International Conference of B and Z Users》 | 2002年
53.Checking Z Data Refinements Using an Animation Tool

机译：使用动画工具检查z数据细化
- 作者：Neil J. Robinson
- 会议名称：《International Conference of B and Z Users》 | 2002年
54.Controlling Control Systems: An Application of Evolving Retrenchment

机译：控制控制系统：应用不断抑制的应用
- 作者：Michael Poppleton;Richard Banach
- 会议名称：《International Conference of B and Z Users》 | 2002年