Logic, Computation and Rigorous Methods - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 18)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783030760199, 9783030760205

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Towards Leveraging Domain Knowledge in State-Based Formal Methods

Logic, Computation and Rigorous Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-030-76020-5_1 ◽

2021 ◽

pp. 1-13

Author(s):

Yamine Aït-Ameur ◽

Régine Laleau ◽

Dominique Méry ◽

Neeraj Kumar Singh

Keyword(s):

Formal Methods ◽

Domain Knowledge

Download Full-text

A Framework for Modeling the Semantics of Synchronous and Asynchronous Procedures with Abstract State Machines

Logic, Computation and Rigorous Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-030-76020-5_18 ◽

2021 ◽

pp. 326-352

Author(s):

Wolf Zimmermann ◽

Mandy Weißbach

Keyword(s):

State Machines ◽

Abstract State Machines

Download Full-text

Language and Communication Problems in Formalization: A Natural Language Approach

Logic, Computation and Rigorous Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-030-76020-5_7 ◽

2021 ◽

pp. 121-134

Author(s):

Alessandro Fantechi ◽

Stefania Gnesi ◽

Laura Semini

Keyword(s):

Natural Language ◽

Communication Problems ◽

Language And Communication

Download Full-text

Flashix: Modular Verification of a Concurrent and Crash-Safe Flash File System

Logic, Computation and Rigorous Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-030-76020-5_14 ◽

2021 ◽

pp. 239-265

Author(s):

Stefan Bodenmüller ◽

Gerhard Schellhorn ◽

Martin Bitterlich ◽

Wolfgang Reif

Keyword(s):

File System ◽

Modular Verification

Download Full-text

The Combined Use of the Web Ontology Language (OWL) and Abstract State Machines (ASM) for the Definition of a Specification Language for Business Processes

Logic, Computation and Rigorous Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-030-76020-5_16 ◽

2021 ◽

pp. 283-300

Author(s):

Matthes Elstermann ◽

André Wolski ◽

Albert Fleischmann ◽

Christian Stary ◽

Stephan Borgert

Keyword(s):

Business Processes ◽

Specification Language ◽

State Machines ◽

Web Ontology Language ◽

Abstract State Machines ◽

Ontology Language ◽

Combined Use ◽

Definition Of ◽

The Web

Download Full-text

Computation on Structures

Logic, Computation and Rigorous Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-030-76020-5_15 ◽

2021 ◽

pp. 266-282

Author(s):

Klaus-Dieter Schewe

Download Full-text

Models and Modelling in Computer Science

Logic, Computation and Rigorous Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-030-76020-5_17 ◽

2021 ◽

pp. 301-325

Author(s):

Bernhard Thalheim

Keyword(s):

Computer Science ◽

Models And Modelling

Download Full-text

ASM Specification and Refinement of a Quantum Algorithm

Logic, Computation and Rigorous Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-030-76020-5_8 ◽

2021 ◽

pp. 135-146

Author(s):

Flavio Ferrarotti ◽

Sénen González

Keyword(s):

Quantum Algorithm

Download Full-text

Communities and Ancestors Associated with Egon Börger and ASM

Logic, Computation and Rigorous Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-030-76020-5_6 ◽

2021 ◽

pp. 96-120

Author(s):

Jonathan P. Bowen

Download Full-text

Semantic Splitting of Conditional Belief Bases

Logic, Computation and Rigorous Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-030-76020-5_5 ◽

2021 ◽

pp. 82-95

Author(s):

Christoph Beierle ◽

Jonas Haldimann ◽

Gabriele Kern-Isberner

Keyword(s):

Conditional Belief ◽

Belief Bases

Download Full-text

Logic, Computation and Rigorous Methods - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Towards Leveraging Domain Knowledge in State-Based Formal Methods

A Framework for Modeling the Semantics of Synchronous and Asynchronous Procedures with Abstract State Machines

Language and Communication Problems in Formalization: A Natural Language Approach

Flashix: Modular Verification of a Concurrent and Crash-Safe Flash File System

The Combined Use of the Web Ontology Language (OWL) and Abstract State Machines (ASM) for the Definition of a Specification Language for Business Processes

Computation on Structures

Models and Modelling in Computer Science

ASM Specification and Refinement of a Quantum Algorithm

Communities and Ancestors Associated with Egon Börger and ASM

Semantic Splitting of Conditional Belief Bases

Logic, Computation and Rigorous Methods - Lecture Notes in Computer Science
Latest Publications