Tool Support for Validation of Formal System Models: Interactive Visualization and Requirements Traceability

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.310.8 ◽

2019 ◽

Vol 310 ◽

pp. 70-85

Author(s):

Eduard Kamburjan ◽

Jonas Stromberg

Keyword(s):

Interactive Visualization ◽

Formal System ◽

Tool Support ◽

Requirements Traceability ◽

System Models

Download Full-text

Value of Formal System Models for Flexible Reorganization in an Insurance Company

Empirical Foundations of Information and Software Science ◽

10.1007/978-1-4613-2521-5_29 ◽

1985 ◽

pp. 353-370 ◽

Cited By ~ 1

Author(s):

Horst F. Wedde

Keyword(s):

Formal System ◽

Insurance Company ◽

System Models

Download Full-text

Prototyping Formal System Models with Active Objects

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.279.7 ◽

2018 ◽

Vol 279 ◽

pp. 52-67 ◽

Cited By ~ 1

Author(s):

Eduard Kamburjan ◽

Reiner Hähnle

Keyword(s):

Formal System ◽

System Models ◽

Active Objects

Download Full-text

Querying Automotive System Models and Safety Artifacts: Tool Support and Case Study

Journal of Automotive Software Engineering ◽

10.2991/jase.d.200912.001 ◽

2020 ◽

Author(s):

Alessio Di Sandro ◽

Sahar Kokaly ◽

Rick Salay ◽

Marsha Chechik

Keyword(s):

Tool Support ◽

System Models ◽

Automotive System

Download Full-text

Automatic Refinement Checking for Formal System Models

Lecture Notes in Electrical Engineering - Languages, Design Methods, and Tools for Electronic System Design ◽

10.1007/978-3-319-24457-0_1 ◽

2015 ◽

pp. 3-22

Author(s):

Julia Seiter ◽

Robert Wille ◽

Ulrich Kühne ◽

Rolf Drechsler

Keyword(s):

Formal System ◽

System Models ◽

Refinement Checking

Download Full-text

Manage Interdisciplinarity Based on Requirements Traceability: A Graph-Based Tool Support for Requirements Traceability

2017 Portland International Conference on Management of Engineering and Technology (PICMET) ◽

10.23919/picmet.2017.8125385 ◽

2017 ◽

Author(s):

Weidmann Dominik ◽

Lindemann Udo

Keyword(s):

Tool Support ◽

Requirements Traceability

Download Full-text

Generating formal system models from natural language descriptions

2012 IEEE International High Level Design Validation and Test Workshop (HLDVT) ◽

10.1109/hldvt.2012.6418259 ◽

2012 ◽

Cited By ~ 1

Author(s):

Rolf Drechsler ◽

Ian G. Harris ◽

Robert Wille

Keyword(s):

Natural Language ◽

Formal System ◽

System Models

Download Full-text

ExplicitCase: Tool-Support for Creating and Maintaining Assurance Arguments Integrated with System Models

2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) ◽

10.1109/issrew.2019.00093 ◽

2019 ◽

Cited By ~ 1

Author(s):

Carmen Carlan ◽

Vivek Nigam ◽

Sebastian Voss ◽

Alexandros Tsalidis

Keyword(s):

Tool Support ◽

System Models

Download Full-text

Automatic refinement checking for formal system models

Proceedings of the 2014 Forum on Specification and Design Languages (FDL) ◽

10.1109/fdl.2014.7119339 ◽

2014 ◽

Cited By ~ 4

Author(s):

Julia Seiter ◽

Robert Wille ◽

Ulrich Kühne ◽

Rolf Drechsler

Keyword(s):

Formal System ◽

System Models ◽

Refinement Checking

Download Full-text

Leveraging the Analysis for Invariant Independence in Formal System Models

2015 Euromicro Conference on Digital System Design ◽

10.1109/dsd.2015.85 ◽

2015 ◽

Cited By ~ 6

Author(s):

Nils Przigoda ◽

Robert Wille ◽

Rolf Drechsler

Keyword(s):

Formal System ◽

System Models

Download Full-text

Analisys of Innovation System Models

Nauka ta innovacii ◽

10.15407/scin2.03.118 ◽

2006 ◽

Vol 2 (3) ◽

pp. 118-126

Author(s):

I. S. Kuznecova ◽

Keyword(s):

Innovation System ◽

System Models

Download Full-text