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

TOTAL DOCUMENTS

(FIVE YEARS 15)

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

Download Full-text

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

Download Full-text

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

Download Full-text

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

Download Full-text

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

Download Full-text

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

Download Full-text

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

Download Full-text

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

Download Full-text

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

Download Full-text

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

Download Full-text

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