System Analysis and Modeling: Models and Reusability - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319117423, 9783319117430

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Integrating Graph Transformations and Modal Sequence Diagrams for Specifying Structurally Dynamic Reactive Systems

System Analysis and Modeling: Models and Reusability - Lecture Notes in Computer Science ◽

10.1007/978-3-319-11743-0_9 ◽

2014 ◽

pp. 126-141 ◽

Cited By ~ 2

Author(s):

Sabine Winetzhammer ◽

Joel Greenyer ◽

Matthias Tichy

Keyword(s):

Reactive Systems ◽

Sequence Diagrams ◽

Graph Transformations

Download Full-text

Toward a UCM-Based Approach for Recovering System Availability Requirements from Execution Traces

System Analysis and Modeling: Models and Reusability - Lecture Notes in Computer Science ◽

10.1007/978-3-319-11743-0_4 ◽

2014 ◽

pp. 48-63 ◽

Cited By ~ 1

Author(s):

Jameleddine Hassine ◽

Abdelwahab Hamou-Lhadj

Keyword(s):

System Availability ◽

Execution Traces

Download Full-text

Prototyping SDL Extensions

System Analysis and Modeling: Models and Reusability - Lecture Notes in Computer Science ◽

10.1007/978-3-319-11743-0_21 ◽

2014 ◽

pp. 304-311

Author(s):

Andreas Blunk ◽

Joachim Fischer

Download Full-text

Acceptance Test Optimization

System Analysis and Modeling: Models and Reusability - Lecture Notes in Computer Science ◽

10.1007/978-3-319-11743-0_11 ◽

2014 ◽

pp. 158-173

Author(s):

Mohamed Mussa ◽

Ferhat Khendek

Keyword(s):

Acceptance Test ◽

Test Optimization

Download Full-text

Search-Based Model Optimization Using Model Transformations

System Analysis and Modeling: Models and Reusability - Lecture Notes in Computer Science ◽

10.1007/978-3-319-11743-0_6 ◽

2014 ◽

pp. 80-95 ◽

Cited By ~ 10

Author(s):

Joachim Denil ◽

Maris Jukss ◽

Clark Verbrugge ◽

Hans Vangheluwe

Keyword(s):

Model Transformations ◽

Model Optimization

Download Full-text

A Systematic Approach to Automatically Derive Test Cases from Use Cases Specified in Restricted Natural Languages

System Analysis and Modeling: Models and Reusability - Lecture Notes in Computer Science ◽

10.1007/978-3-319-11743-0_10 ◽

2014 ◽

pp. 142-157 ◽

Cited By ~ 8

Author(s):

Man Zhang ◽

Tao Yue ◽

Shaukat Ali ◽

Huihui Zhang ◽

Ji Wu

Keyword(s):

Systematic Approach ◽

Use Cases ◽

Test Cases ◽

Natural Languages

Download Full-text

MID: A MetaCASE Tool for a Better Reuse of Visual Notations

System Analysis and Modeling: Models and Reusability - Lecture Notes in Computer Science ◽

10.1007/978-3-319-11743-0_2 ◽

2014 ◽

pp. 16-31

Author(s):

Amine El Kouhen ◽

Abdelouahed Gherbi ◽

Cédric Dumoulin ◽

Pierre Boulet ◽

Sébastien Gérard

Download Full-text

Formal Technical Process Specification and Verification for Automated Production Systems

System Analysis and Modeling: Models and Reusability - Lecture Notes in Computer Science ◽

10.1007/978-3-319-11743-0_20 ◽

2014 ◽

pp. 287-303 ◽

Cited By ~ 4

Author(s):

Georg Hackenberg ◽

Alarico Campetelli ◽

Christoph Legat ◽

Jakob Mund ◽

Sabine Teufl ◽

...

Keyword(s):

Production Systems ◽

Technical Process ◽

Automated Production ◽

Process Specification ◽

Specification And Verification

Download Full-text

Model-Based Mining of Source Code Repositories

System Analysis and Modeling: Models and Reusability - Lecture Notes in Computer Science ◽

10.1007/978-3-319-11743-0_17 ◽

2014 ◽

pp. 239-254 ◽

Cited By ~ 1

Author(s):

Markus Scheidgen ◽

Joachim Fischer

Keyword(s):

Source Code ◽

Model Based

Download Full-text

Architecture Framework for Software Safety

System Analysis and Modeling: Models and Reusability - Lecture Notes in Computer Science ◽

10.1007/978-3-319-11743-0_5 ◽

2014 ◽

pp. 64-79 ◽

Cited By ~ 1

Author(s):

Havva Gülay Gürbüz ◽

Nagehan Pala Er ◽

Bedir Tekinerdogan

Keyword(s):

Software Safety ◽

Architecture Framework

Download Full-text

System Analysis and Modeling: Models and Reusability - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Integrating Graph Transformations and Modal Sequence Diagrams for Specifying Structurally Dynamic Reactive Systems

Toward a UCM-Based Approach for Recovering System Availability Requirements from Execution Traces

Prototyping SDL Extensions

Acceptance Test Optimization

Search-Based Model Optimization Using Model Transformations

A Systematic Approach to Automatically Derive Test Cases from Use Cases Specified in Restricted Natural Languages

MID: A MetaCASE Tool for a Better Reuse of Visual Notations

Formal Technical Process Specification and Verification for Automated Production Systems

Model-Based Mining of Source Code Repositories

Architecture Framework for Software Safety

System Analysis and Modeling: Models and Reusability - Lecture Notes in Computer Science
Latest Publications