Showing results (21-30 of 44) with videos related to

Sort By:
Pageof 5
Software and Systems Modeling|January 25, 2020
Modeling compliance specifications in linear temporal logic, event processing language and property specification patterns: a controlled experiment on understandabilityChristoph Czepa, Amirali Amiri, Evangelos Ntentos, et al.
Software and Systems Modeling|July 31, 2020
Behavioral interfaces for executable DSLsDorian Leroy, Erwan Bousse, Manuel Wimmer, et al.
Software and Systems Modeling|October 5, 2022
Live process modeling with the BPMN Sketch MinerAna Ivanchikj, Souhaila Serbout, Cesare Pautasso
Software and Systems Modeling|July 19, 2024
Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysisBentley James Oakes, Javier Troya, Jessie Galasso, et al.
Software and Systems Modeling|February 17, 2018
Dual deep modeling: multi-level modeling with dual potencies and its formalization in F-LogicBernd Neumayr, Christoph G Schuetz, Manfred A Jeusfeld, et al.
Software and Systems Modeling|May 1, 2018
Matching events and activities by integrating behavioral aspects and label analysisThomas Baier, Claudio Di Ciccio, Jan Mendling, et al.
Software and Systems Modeling|May 1, 2018
How do humans inspect BPMN models: an exploratory studyCornelia Haisjackl, Pnina Soffer, Shao Yi Lim, et al.
Software and Systems Modeling|July 10, 2018
Multi-purpose, multi-level feature modeling of large-scale industrial software systemsDaniela Rabiser, Herbert Prähofer, Paul Grünbacher, et al.
Software and Systems Modeling|February 27, 2023
Generating repairs for inconsistent modelsLuciano Marchezan, Roland Kretschmer, Wesley K G Assunção, et al.
Software and Systems Modeling|July 29, 2025
Using reactive links to propagate changes across engineering modelsCosmina-Cristina Raţiu, Wesley K G Assunção, Edvin Herac, et al.
Pageof 5