Tracing security requirements in industrial control systems using graph databases (English)
Free access
- New search for: Tanveer, Awais
- Further information on Tanveer, Awais:
- https://orcid.org/http://orcid.org/0000-0002-1315-1794
- New search for: Sharma, Chandan
- New search for: Sinha, Roopak
- New search for: Kuo, Matthew M. Y.
- New search for: Tanveer, Awais
- Further information on Tanveer, Awais:
- https://orcid.org/http://orcid.org/0000-0002-1315-1794
- New search for: Sharma, Chandan
- New search for: Sinha, Roopak
- New search for: Kuo, Matthew M. Y.
In:
Software and Systems Modeling
;
22
, 3
;
851-870
;
2023
- Article (Journal) / Electronic Resource
-
Title:Tracing security requirements in industrial control systems using graph databases
-
Additional title:Softw Syst Model
-
Contributors:Tanveer, Awais ( author ) / Sharma, Chandan ( author ) / Sinha, Roopak ( author ) / Kuo, Matthew M. Y. ( author )
-
Published in:Software and Systems Modeling ; 22, 3 ; 851-870
-
Publisher:
- New search for: Springer Berlin Heidelberg
-
Place of publication:Berlin/Heidelberg
-
Publication date:2023-06-01
-
Size:20 pages
-
ISSN:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Licence:
-
Source:
Table of contents – Volume 22, Issue 3
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 777
-
ChatGPT in software modelingCombemale, Benoit / Gray, Jeff / Rumpe, Bernhard et al. | 2023
- 781
-
On the assessment of generative AI in modeling tasks: an experience report with ChatGPT and UMLCámara, Javier / Troya, Javier / Burgueño, Lola / Vallecillo, Antonio et al. | 2023
- 795
-
Guest editorial for the theme section on modeling language engineeringCombemale, Benoît / Eramo, Romina / de Lara, Juan et al. | 2023
- 797
-
Safe reuse in modelling language engineering using model subtyping with OCL constraintsBoronat, Artur et al. | 2023
- 819
-
Advanced testing and debugging support for reactive executable DSLsKhorram, Faezeh / Bousse, Erwan / Mottu, Jean-Marie / Sunyé, Gerson et al. | 2023
- 847
-
A personal retrospective on language workbenchesvan den Brand, Mark et al. | 2023
- 851
-
Tracing security requirements in industrial control systems using graph databasesTanveer, Awais / Sharma, Chandan / Sinha, Roopak / Kuo, Matthew M. Y. et al. | 2023
- 871
-
MoDMaCAO: a model-driven framework for the design, validation and configuration management of cloud applications based on OCCIZalila, Faiez / Korte, Fabian / Erbel, Johannes / Challita, Stéphanie / Grabowski, Jens / Merle, Philippe et al. | 2023
- 891
-
Reference architectures modelling and compliance checkingBucaioni, Alessio / Di Salle, Amleto / Iovino, Ludovico / Malavolta, Ivano / Pelliccione, Patrizio et al. | 2023
- 919
-
A data-driven approach for constructing multilayer network-based service ecosystem modelsLiu, Mingyi / Tu, Zhiying / Xu, Xiaofei / Wang, Zhongjie / Wang, Yan et al. | 2023
- 941
-
Formal translation of YAWL workflow models to the Alloy formal specifications: a testing applicationRivadeh, Mehran / Mirian-Hosseinabadi, Seyed-Hassan et al. | 2023
- 969
-
A systematic literature review on IoT-aware business process modeling views, requirements and notationsCompagnucci, Ivan / Corradini, Flavio / Fornari, Fabrizio / Polini, Andrea / Re, Barbara / Tiezzi, Francesco et al. | 2023
- 1005
-
Modeling difficulties in creating conceptual data modelsRosenthal, Kristina / Strecker, Stefan / Snoeck, Monique et al. | 2023
- 1031
-
Conflict management techniques for model merging: a systematic mapping reviewSharbaf, Mohammadreza / Zamani, Bahman / Sunyé, Gerson et al. | 2023