| 作 者： | Jacques Julliand Olga Kouchnarenko |
| 出版社： | 广东教育出版社 |
| 丛编项： | |
| 版权说明： | 本书为公共版权或经版权方授权，请支持正版图书 |
| 标 签： | 暂缺 |
| ISBN | 出版时间 | 包装 | 开本 | 页数 | 字数 |
|---|---|---|---|---|---|
| 未知 | 暂无 | 暂无 | 未知 | 0 | 暂无 |
Invited Talks
E-Voting and the Need for Rigourous Software Engineering - The Past, Present and Future
Using B Machines for Model-Based Testing of Smartcard Software
The Design of SpacecraR On-Board Software
Regular Papers
Interpreting Invariant Composition in the B Method Using the Spec# Ownership Relation: A Way to Explain and Relax B Restrictions
Chorus Angelorum
Augmenting B with Control Annotations
Justifications for the Event-B Modelling Notation
Automatic Translation from Combined B and CSP Specification to Java Programs
Symmetry Reduction for B by Permutation Flooding
Instantiation of Parameterized Data Structures for Model-Based Testing
Verification of LTL on B Event Systems
Patterns for B: Bridging Formal and Informal Development
Time Constraint Patterns for Event B Development
Modelling and Proof Analysis of Interrupt Driven Scheduling
Refinement of Statemachines Using Event B Semantics
Formal Transformation of Platform Independent Models into Platform Specific Models
Refinement of EB3 Process Patterns into B Specifications,
Security Policy Enforcement Through Refinement Process
Integration of Security Policy into System Modeling
Industrial Papers
Experiences in Using B and UML in Industrial Development
B in Large-Scale Projects: The Canarsie Line CBTC Experience
A Tool for Firewall Administration
The B-Method for the Construction of Microkernel-Based Systems
Hardware Verification and Beyond: Using B at AWE
Tool Papers
A JAG Extension for Verifying ITI Properties on R Event Systems
……
Invited Talk
Author Index
