R
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Softw. Syst. Model.
2002
2009
2016
2023
2002
2023
Keyphrases
Publications
volume 22, number 3, 2023
Artur Boronat
Safe reuse in modelling language engineering using model subtyping with OCL constraints.
Softw. Syst. Model.
22 (3) (2023)
Javier Cámara
,
Javier Troya
,
Lola Burgueño
,
Antonio Vallecillo
On the assessment of generative AI in modeling tasks: an experience report with ChatGPT and UML.
Softw. Syst. Model.
22 (3) (2023)
Faiez Zalila
,
Fabian Korte
,
Johannes Erbel
,
Stéphanie Challita
,
Jens Grabowski
,
Philippe Merle
MoDMaCAO: a model-driven framework for the design, validation and configuration management of cloud applications based on OCCI.
Softw. Syst. Model.
22 (3) (2023)
Awais Tanveer
,
Chandan Sharma
,
Roopak Sinha
,
Matthew M. Y. Kuo
Tracing security requirements in industrial control systems using graph databases.
Softw. Syst. Model.
22 (3) (2023)
volume 22, number 4, 2023
Kate Revoredo
On the use of domain knowledge for process model repair.
Softw. Syst. Model.
22 (4) (2023)
Oliver Kautz
The complexities of the satisfiability checking problems of feature diagram sublanguages.
Softw. Syst. Model.
22 (4) (2023)
Alejandra Ruiz
,
Yod Samuel Martín
,
Jabier Martinez
,
Jacobo Quintans
,
Guillaume Mockly
,
Amelie Gyrard
,
Tommaso Crepax
Modeling ecosystems of reference frameworks for assurance: a case on privacy impact assessment regulation and guidelines.
Softw. Syst. Model.
22 (4) (2023)
Joe Lorentz
,
Thomas Hartmann
,
Assaad Moawad
,
François Fouquet
,
Djamila Aouada
,
Yves Le Traon
CalcGraph: taming the high costs of deep learning using models.
Softw. Syst. Model.
22 (4) (2023)
Antonio Bucchiarone
,
Maxime Savary-Leblanc
,
Xavier Le Pallec
,
Antonio Cicchetti
,
Sébastien Gérard
,
Simone Bassanelli
,
Federica Gini
,
Annapaola Marconi
Gamifying model-based engineering: the PapyGame experience.
Softw. Syst. Model.
22 (4) (2023)
Edson Silva
,
Robson do Nascimento Fidalgo
,
Marcio Ferro
,
Natália Franco
Visual query languages to design complex queries: a systematic literature review.
Softw. Syst. Model.
22 (4) (2023)
Stefan John
,
Jens Kosiol
,
Leen Lambers
,
Gabriele Taentzer
A graph-based framework for model-driven optimization facilitating impact analysis of mutation operator properties.
Softw. Syst. Model.
22 (4) (2023)
Marné de Vries
,
Petra Opperman
Improving active participation during enterprise operations modeling with an extended story-card-method and participative modeling software.
Softw. Syst. Model.
22 (4) (2023)
Steffen Zschaler
,
Erwan Bousse
,
Julien Deantoni
,
Benoît Combemale
A generic framework for representing and analyzing model concurrency.
Softw. Syst. Model.
22 (4) (2023)
Istvan David
,
Eugene Syriani
Real-time collaborative multi-level modeling by conflict-free replicated data types.
Softw. Syst. Model.
22 (4) (2023)
Tong Ye
,
Yi Zhuang
,
Gongzhe Qiao
MBIPV: a model-based approach for identifying privacy violations from software requirements.
Softw. Syst. Model.
22 (4) (2023)
Benoît Combemale
,
Jeffrey G. Gray
,
Bernhard Rumpe
Research software engineering and the importance of scientific models.
Softw. Syst. Model.
22 (4) (2023)
Dimitris Kolovos
,
Alfonso de la Vega
Flexmi: a generic and modular textual syntax for domain-specific modelling.
Softw. Syst. Model.
22 (4) (2023)
Alessio Bucaioni
,
Federico Ciccozzi
,
Amleto Di Salle
,
Mikael Sjödin
From low-level programming to full-fledged industrial model-based development: the story of the Rubus Component Model.
Softw. Syst. Model.
22 (4) (2023)
volume 22, number 5, 2023
Enes Yigitbas
,
Simon Gorissen
,
Nils Weidmann
,
Gregor Engels
Design and evaluation of a collaborative UML modeling environment in virtual reality.
Softw. Syst. Model.
22 (5) (2023)
Benoît Combemale
,
Jeff Gray
,
Bernhard Rumpe
Large language models as an "operating" system for software and systems modeling.
Softw. Syst. Model.
22 (5) (2023)
Torin Viger
,
Logan Murphy
,
Alessio Di Sandro
,
Claudio Menghi
,
Ramy Shahin
,
Marsha Chechik
The ForeMoSt approach to building valid model-based safety arguments.
Softw. Syst. Model.
22 (5) (2023)
Majid Babaei
,
Juergen Dingel
Efficient regression testing of distributed real-time reactive systems in the context of model-driven development.
Softw. Syst. Model.
22 (5) (2023)
Maysam Zoor
,
Ludovic Apvrille
,
Renaud Pacalet
,
Sophie Coudert
Execution trace analysis for a precise understanding of latency violations.
Softw. Syst. Model.
22 (5) (2023)
Bianca Wiesmayr
,
Alois Zoitl
,
Rick Rabiser
Assessing the usefulness of a visual programming IDE for large-scale automation software.
Softw. Syst. Model.
22 (5) (2023)
Monika Jaskolka
,
Vera Pantelic
,
Alan Wassyng
,
Richard F. Paige
,
Mark Lawford
Repository mining for changes in Simulink and Stateflow models.
Softw. Syst. Model.
22 (5) (2023)
Michael Austin Langford
,
Kenneth H. Chan
,
Jonathon Emil Fleck
,
Philip K. McKinley
,
Betty H. C. Cheng
MoDALAS: addressing assurance for learning-enabled autonomous systems in the face of uncertainty.
Softw. Syst. Model.
22 (5) (2023)
Ragnhild Halvorsrud
,
Odnan Ref Sanchez
,
Costas Boletsis
,
Marita Skjuve
Involving users in the development of a modeling language for customer journeys.
Softw. Syst. Model.
22 (5) (2023)
Gauthier Lyan
,
Jean-Marc Jézéquel
,
David Gross-Amblard
,
Romain Lefeuvre
,
Benoît Combemale
Reasoning over time into models with DataTime.
Softw. Syst. Model.
22 (5) (2023)
Claudio Di Sipio
,
Juri Di Rocco
,
Davide Di Ruscio
,
Phuong T. Nguyen
MORGAN: a modeling recommender system based on graph kernel.
Softw. Syst. Model.
22 (5) (2023)
Eric Mercer
,
Konrad Slind
,
Isaac Amundson
,
Darren D. Cofer
,
Junaid Babar
,
David S. Hardin
Synthesizing verified components for cyber assured systems engineering.
Softw. Syst. Model.
22 (5) (2023)
Hugo Lourenço
,
Carla Ferreira
,
João Costa Seco
,
Joana Parreira
OSTRICH: a rich template language for low-code development (extended version).
Softw. Syst. Model.
22 (5) (2023)
Shiva Nejati
,
Dániel Varró
Guest editorial for the special section on MODELS 2021.
Softw. Syst. Model.
22 (5) (2023)
Alexander Schultheiß
,
Paul Maximilian Bittner
,
Alexander Boll
,
Lars Grunske
,
Thomas Thüm
,
Timo Kehrer
RaQuN: a generic and scalable n-way model matching algorithm.
Softw. Syst. Model.
22 (5) (2023)
James Harbin
,
Simos Gerasimou
,
Nicholas Drivalos Matragkas
,
Thanos Zolotas
,
Radu Calinescu
,
Misael Alpizar Santana
Model-driven design space exploration for multi-robot systems in simulation.
Softw. Syst. Model.
22 (5) (2023)
volume 22, number 6, 2023
Hessam Mohammadi
,
Wided Ghardallou
,
Elijah Brick
,
Ali Mili
On the persistent rumors of the programmer's imminent demise.
Softw. Syst. Model.
22 (6) (2023)
Iris Reinhartz-Berger
,
Dominik Bork
Guest editorial for EMMSAD'2022 special section.
Softw. Syst. Model.
22 (6) (2023)
Simon Curty
,
Felix Härer
,
Hans-Georg Fill
Design of blockchain-based applications using model-driven engineering and low-code/no-code platforms: a structured literature review.
Softw. Syst. Model.
22 (6) (2023)
Monique Snoeck
,
Charlotte Verbruggen
,
Johannes De Smedt
,
Jochen De Weerdt
Supporting data-aware processes with MERODE.
Softw. Syst. Model.
22 (6) (2023)
Amin Jalali
Evaluating user acceptance of knowledge-intensive business process modeling languages.
Softw. Syst. Model.
22 (6) (2023)
Elena Planas
,
Salvador Martínez
,
Marco Brambilla
,
Jordi Cabot
Modeling and enforcing access control policies in conversational user interfaces.
Softw. Syst. Model.
22 (6) (2023)
Mario Gleirscher
,
Jaco van de Pol
,
Jim Woodcock
A manifesto for applicable formal methods.
Softw. Syst. Model.
22 (6) (2023)
Moshe Hadad
,
Gal Engelberg
,
Pnina Soffer
From network traffic data to business activities: a conceptualization and a recognition approach.
Softw. Syst. Model.
22 (6) (2023)
Artur Boronat
EMF-Syncer: scalable maintenance of view models over heterogeneous data-centric software systems at run time.
Softw. Syst. Model.
22 (6) (2023)
Renata Guizzardi
,
Glenda C. M. Amaral
,
Giancarlo Guizzardi
,
John Mylopoulos
An ontology-based approach to engineering ethicality requirements.
Softw. Syst. Model.
22 (6) (2023)
J. Christian Attiogbé
,
Sadok Ben Yahia
,
Ladjel Bellatreche
A theme section on the central role of modeling in designing and explaining data-driven systems and software.
Softw. Syst. Model.
22 (6) (2023)
Yael Dubinsky
,
Pnina Soffer
,
Irit Hadar
Detecting cross-case associations in an event log: toward a pattern-based detection.
Softw. Syst. Model.
22 (6) (2023)
David Chapela-Campa
,
Marlon Dumas
From process mining to augmented process execution.
Softw. Syst. Model.
22 (6) (2023)
Mandira Roy
,
Souvick Das
,
Novarun Deb
,
Agostino Cortesi
,
Rituparna Chaki
,
Nabendu Chaki
Correlating contexts and NFR conflicts from event logs.
Softw. Syst. Model.
22 (6) (2023)
Adriano Augusto
,
Selmin Nurcan
,
Rainer Schmidt
Special section of BPMDS'2021 business process improvement.
Softw. Syst. Model.
22 (6) (2023)
Benoît Combemale
,
Jeff Gray
,
Bernhard Rumpe
Adopting the concept of a function as an underlying semantic paradigm for modeling languages.
Softw. Syst. Model.
22 (6) (2023)