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网络公开度




书目名称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读者反馈




书目名称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