Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Singapore

9789811550539, 9789811550546

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Deriving Implicit Security Requirements in Safety-Explicit Formal Development of Control Systems

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems ◽

10.1007/978-981-15-5054-6_6 ◽

2020 ◽

pp. 109-130

Author(s):

Inna Vistbakka ◽

Elena Troubitsyna

Keyword(s):

Control Systems ◽

Security Requirements ◽

Formal Development

Integrating Domain Modeling Within a Formal Requirements Engineering Method

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems ◽

10.1007/978-981-15-5054-6_3 ◽

2020 ◽

pp. 39-58

Author(s):

Steve Tueno ◽

Régine Laleau ◽

Amel Mammar ◽

Marc Frappier

Keyword(s):

Requirements Engineering ◽

Engineering Method ◽

Domain Modeling ◽

Formal Requirements

Towards Making Safety Case Arguments Explicit, Precise, and Well Founded

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems ◽

10.1007/978-981-15-5054-6_11 ◽

2020 ◽

pp. 227-258

Author(s):

Valentín Cassano ◽

Thomas S. E. Maibaum ◽

Silviya Grigorova

Keyword(s):

Safety Case

Configuration of Complex Systems—Maintaining Consistency at Runtime

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems ◽

10.1007/978-981-15-5054-6_10 ◽

2020 ◽

pp. 199-224

Author(s):

Azadeh Jahanbanifar ◽

Ferhat Khendek ◽

Maria Toeroe

Keyword(s):

Complex Systems

Formal Ontological Analysis for Medical Protocols

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems ◽

10.1007/978-981-15-5054-6_5 ◽

2020 ◽

pp. 83-107

Author(s):

Neeraj Kumar Singh ◽

Yamine Ait-Ameur ◽

Dominique Méry

Keyword(s):

Ontological Analysis ◽

Medical Protocols

The Indefeasibility Criterion for Assurance Cases

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems ◽

10.1007/978-981-15-5054-6_12 ◽

2020 ◽

pp. 259-279

Author(s):

John Rushby

Keyword(s):

Assurance Cases

Modelling an E-Voting Domain for the Formal Development of a Software Product Line: When the Implicit Should Be Made Explicit

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems ◽

10.1007/978-981-15-5054-6_1 ◽

2020 ◽

pp. 3-18

Author(s):

J. Paul Gibson ◽

Jean-Luc Raffy

Keyword(s):

Software Product Line ◽

Product Line ◽

Formal Development ◽

Software Product

Contextual Dependency in State-Based Modelling

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems ◽

10.1007/978-981-15-5054-6_9 ◽

2020 ◽

pp. 175-197

Author(s):

Souad Kherroubi ◽

Dominique Méry

Keyword(s):

Contextual Dependency

An Explicit Semantics for Event-B Refinements

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems ◽

10.1007/978-981-15-5054-6_8 ◽

2020 ◽

pp. 155-173

Author(s):

Pierre Castéran

Domain-Specific Developments Using Rodin Theories

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems ◽

10.1007/978-981-15-5054-6_2 ◽

2020 ◽

pp. 19-37

Author(s):

Thai Son Hoang ◽

Laurent Voisin ◽

Michael Butler

Keyword(s):

Domain Specific

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete SystemsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Singapore

Deriving Implicit Security Requirements in Safety-Explicit Formal Development of Control Systems

Integrating Domain Modeling Within a Formal Requirements Engineering Method

Towards Making Safety Case Arguments Explicit, Precise, and Well Founded

Configuration of Complex Systems—Maintaining Consistency at Runtime

Formal Ontological Analysis for Medical Protocols

The Indefeasibility Criterion for Assurance Cases

Modelling an E-Voting Domain for the Formal Development of a Software Product Line: When the Implicit Should Be Made Explicit

Contextual Dependency in State-Based Modelling

An Explicit Semantics for Event-B Refinements

Domain-Specific Developments Using Rodin Theories

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
Latest Publications