Titlebook: Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems; Communications of NI Yamine Ait-Ameur,Shin Nak

評估

書目名稱Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems影響因子(影響力)




書目名稱Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems影響因子(影響力)學科排名




書目名稱Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems網(wǎng)絡公開度




書目名稱Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems網(wǎng)絡公開度學科排名




書目名稱Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems被引頻次




書目名稱Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems被引頻次學科排名




書目名稱Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems年度引用




書目名稱Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems年度引用學科排名




書目名稱Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems讀者反饋




書目名稱Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems讀者反饋學科排名

CLIFF

Deriving Implicit Security Requirements in Safety-Explicit Formal Development of Control Systemsurity requirements that are implied by the explicit system-level safety goals. We rely on modelling and refinement in Event-B to systematically uncover mutual interdependencies between safety and security and derive the constraints that should be imposed on the system to guarantee its safety in the presence of accidental and malicious faults.

破裂

VEST

implore

Oafishness

弄臟

The Indefeasibility Criterion for Assurance Casestended to that there is no (or, more realistically, we cannot imagine any) new information that would cause us to change our evaluation. We explore application of this criterion to the interpretation and evaluation of assurance cases and derive a strict but practical characterization for a sound assurance case.

Allodynia

愛社交

Explicit Exploration of Refinement Design in Proof-Based Approach: Refinement Engineering in Event-B is still an “art.” In this chapter, we discuss the problem of refinement design and present our approach for explicitly exploring and manipulating possible refinement designs. Specifically, we report our experiences on refinement planning and refactoring to support engineering activities on refinement.

苦笑

Book 2021 to specify design models. More precisely, it highlights the advances in handling both implicit and explicit semantics in formal system developments, and discusses different contributions expressing different views and perceptions on the implicit and explicit semantics...The book is based on the dis