Innov. Syst. Softw. Eng.

Keyphrases

Publications

volume 20, number 1, 2024

Saeedeh Ghaedi Heidari, Shohreh Ajoudanian
Automatic pattern-based consistency checking in model refactoring: introducing a formal behavioral preserving method. Innov. Syst. Softw. Eng. 20 (1) (2024)
Shahrokh Vahabi, Amir Hozhabri
Automatic use case classification based on topic grouping for requirements engineering. Innov. Syst. Softw. Eng. 20 (1) (2024)
Kamel Barkaoui, Belgacem Ben Hedia
Preface to the VECoS 2020 & 2021 special issue of ISSE. Innov. Syst. Softw. Eng. 20 (1) (2024)
Amir Eaman, Amy P. Felty
A certified access control policy language: TEpla. Innov. Syst. Softw. Eng. 20 (1) (2024)
Faustin Ahishakiye, José-Ignacio Requeno Jarabo, Lars Michael Kristensen, Volker Stolz
Coverage visualization and analysis of net inscriptions in coloured Petri net models. Innov. Syst. Softw. Eng. 20 (1) (2024)
Braham Lotfi Mediouni, Iulia Dragomir, Ayoub Nouri, Saddek Bensalem
Model-based design of resilient systems using quantitative risk assessment. Innov. Syst. Softw. Eng. 20 (1) (2024)
Janis Kröger, Björn Koopmann, Ingo Stierand, Martin Fränzle
Contract-based specification of mode-dependent timing behavior. Innov. Syst. Softw. Eng. 20 (1) (2024)

volume 20, number 2, 2024

volume 20, number 3, 2024

volume 19, number 2, 2023

volume 19, number 3, 2023

volume 19, number 4, 2023