Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of Nii Shonan Meetings

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of Nii Shonan Meetings

Ait-Ameur, Yamine
Méry, Dominique
Nakajima, Shin

Hardcover

FictionProgramming

ISBN10: 9811550530
ISBN13: 9789811550539
Publisher: Springer Nature
Published: Jul 28 2020
Pages: 346
Weight: 1.50
Height: 0.81 Width: 6.14 Depth: 9.21
Language: English
Chapter 1: Modelling an e-voting domain for the formal development of a Software Product Line.- Chapter 2: Domain-specific Developments using Rodin Theories.- Chapter 3: Integrating Domain Knowledge in Formal Requirements Engineering.- Chapter 4: Operations over Lightweight Ontologies and their Implementation.- Chapter 5: Formal Ontological Analysis for Medical Protocol.- Chapter 6: Deriving Implicit Security Requirements in Safety-Explicit Formal Development of Control Systems.- Chapter 7: Towards an Integration of Probabilistic and Knowledge-Based Data Analysis Using Probabilistic Knowledge Patterns.- Chapter 8: An Explicit Semantics for Event-B Refinements.- Chapter 9: Contextual Dependency in State-based Modelling.- Chapter 10: Configuration of complex systems.- Chapter 11: Towards Making Safety Case Arguments Explicit, Precise, and Well Founded.- Chapter 12: The Indefeasibility Criterion for Assurance Cases.- Chapter 13: An Event-B development process for the distributed BIP framework.- Chapter 14: Explicit Exploration of Refinement Design in Proof-based Approach.- Chapter 15: Constructing Rigorous Sketches for Refinement-based Formal Development.

1 different editions

Also available

Also in

Programming

View All