Lecture Notes in Computer Science - System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783030306892, 9783030306908

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Generic Graphical Navigation for Modelling Tools

Lecture Notes in Computer Science - System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 ◽

10.1007/978-3-030-30690-8_3 ◽

2019 ◽

pp. 44-60

Author(s):

Hyacinth Ali ◽

Gunter Mussbacher ◽

Jörg Kienzle

Download Full-text

Deriving Distributed Design Models from Global State Machines Requirements

Lecture Notes in Computer Science - System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 ◽

10.1007/978-3-030-30690-8_2 ◽

2019 ◽

pp. 27-43

Author(s):

Mohammad F. Al-hammouri ◽

Gregor V. Bochmann

Keyword(s):

Distributed Design ◽

State Machines ◽

Global State ◽

Design Models

Download Full-text

Facilitating the Co-evolution of Standards and Models

Lecture Notes in Computer Science - System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 ◽

10.1007/978-3-030-30690-8_13 ◽

2019 ◽

pp. 219-232

Author(s):

Philip Makedonski ◽

Jens Grabowski

Download Full-text

Generating Test Suites to Validate Legacy Systems

Lecture Notes in Computer Science - System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 ◽

10.1007/978-3-030-30690-8_1 ◽

2019 ◽

pp. 3-23

Author(s):

Thomas Weigert ◽

Alexander Kolchin ◽

Stepan Potiyenko ◽

Oleg Gurenko ◽

Aswin van den Berg ◽

...

Keyword(s):

Legacy Systems ◽

Test Suites

Download Full-text

Modeling and Code Generation Framework for IoT

Lecture Notes in Computer Science - System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 ◽

10.1007/978-3-030-30690-8_6 ◽

2019 ◽

pp. 99-115 ◽

Cited By ~ 1

Author(s):

Mohammad Sharaf ◽

Mai Abusair ◽

Rami Eleiwi ◽

Yara Shana’a ◽

Ithar Saleh ◽

...

Keyword(s):

Code Generation

Download Full-text

Use of a Pivot Diagram in SysML to Support an Automated Implementation of a MBSE Design Methodology in an Industry 4.0 Context

Lecture Notes in Computer Science - System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 ◽

10.1007/978-3-030-30690-8_5 ◽

2019 ◽

pp. 81-98

Author(s):

Régis Plateaux ◽

Olivia Penas ◽

Farid Louni

Keyword(s):

Industry 4.0 ◽

Design Methodology

Download Full-text

Goal Model Integration: Advanced Relationships and Rationales Documentation

Lecture Notes in Computer Science - System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 ◽

10.1007/978-3-030-30690-8_11 ◽

2019 ◽

pp. 183-199

Author(s):

Malak Baslyman ◽

Daniel Amyot

Keyword(s):

Model Integration ◽

Goal Model

Download Full-text

Towards a Representation of Cellular Automaton Using Specification and Description Language

Lecture Notes in Computer Science - System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 ◽

10.1007/978-3-030-30690-8_10 ◽

2019 ◽

pp. 163-179

Author(s):

Pau Fonseca i Casas

Keyword(s):

Cellular Automaton ◽

Description Language

Download Full-text

Eventual Consistency Formalized

Lecture Notes in Computer Science - System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 ◽

10.1007/978-3-030-30690-8_15 ◽

2019 ◽

pp. 249-265

Author(s):

Edel Sherratt ◽

Andreas Prinz

Keyword(s):

Eventual Consistency

Download Full-text

On the Structure of Avionics Systems Architecture

Lecture Notes in Computer Science - System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 ◽

10.1007/978-3-030-30690-8_8 ◽

2019 ◽

pp. 139-149

Author(s):

Visar Januzaj ◽

Stefan Kugele

Keyword(s):

Systems Architecture

Download Full-text

Lecture Notes in Computer Science - System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Generic Graphical Navigation for Modelling Tools

Deriving Distributed Design Models from Global State Machines Requirements

Facilitating the Co-evolution of Standards and Models

Generating Test Suites to Validate Legacy Systems

Modeling and Code Generation Framework for IoT

Use of a Pivot Diagram in SysML to Support an Automated Implementation of a MBSE Design Methodology in an Industry 4.0 Context

Goal Model Integration: Advanced Relationships and Rationales Documentation

Towards a Representation of Cellular Automaton Using Specification and Description Language

Eventual Consistency Formalized

On the Structure of Avionics Systems Architecture

Lecture Notes in Computer Science - System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0
Latest Publications