Zobrazeno 1 - 10
of 46
pro vyhledávání: '"Alexander Raschke"'
Autor:
Istvan David, Malvina Latifaj, Jakob Pietron, Weixing Zhang, Federico Ciccozzi, Ivano Malavolta, Alexander Raschke, Jan-Philipp Steghöfer, Regina Hebig
Publikováno v:
David, I, Latifaj, M, Pietron, J, Zhang, W, Ciccozzi, F, Malavolta, I, Raschke, A, Steghöfer, J P & Hebig, R 2023, ' Blended modeling in commercial and open-source model-driven software engineering tools : A systematic study ', Software and Systems Modeling, vol. 22, no. 1, pp. 415-447 . https://doi.org/10.1007/s10270-022-01010-3
Software and Systems Modeling, 22(1), 415-447. Springer
Software and Systems Modeling, 22(1), 415-447. Springer
Blended modeling aims to improve the user experience of modeling activities by prioritizing the seamless interaction with models through multiple notations over the consistency of the models. Inconsistency tolerance, thus, becomes an important aspect
Autor:
Irdin Pekaric, Raffaela Groner, Thomas Witte, Jubril Gbolahan Adigun, Alexander Raschke, Michael Felderer, Matthias Tichy
Publikováno v:
Journal of Systems and Software. 203:111716
Autor:
Thomas Witte, Raffaela Groner, Alexander Raschke, Matthias Tichy, Irdin Pekaric, Michael Felderer
Publikováno v:
Proceedings of the 17th Symposium on Software Engineering for Adaptive and Self-Managing Systems.
Publikováno v:
International Journal on Software Tools for Technology Transfer. 22:249-255
This paper introduces the topic of the Special Section on the ERTMS Level 3 Hybrid case study. The European Rail Traffic Management System (ERTMS) is a system of standards for management and interoperation of signalling for railways. The case study f
Publikováno v:
FPVM 2022: 2nd International Workshop on Foundations and Practice of Visual Modeling, July 4–8, 2022, Nantes, France
Scopus-Elsevier
University of Antwerp
Scopus-Elsevier
University of Antwerp
Optimistic versioning is a key component in supporting collaborative workflows. Text-based versioning has been widely adopted for versioning code, but in model-driven engineering, dealing with visual concrete syntaxes, new methods are required. In th
Autor:
Martin Lames, Alexander Raschke
Publikováno v:
German Journal of Exercise and Sport Research. 49:345-350
The goal of the current study was the adaptation of the method of video-based tactics training, successfully established in other sports, to tennis for 10–14 yr old tournament players and to assess the effects with a field experiment. The concept f
Publikováno v:
MODELS Companion
Graphical models have long become an integral part of many system development activities. However, the support of such graphical notations through tools is still believed to be not optimal. We present CouchEdit, a novel approach for a diagram editor
Autor:
Frank Houdek, Alexander Raschke
Publikováno v:
Rigorous State-Based Methods ISBN: 9783030480769
ABZ
ABZ
This case study continues the successful series of case studies for formal specification and verification of the ABZ conference series, which started with the landing gear system [1] and expanded with the hemodialysis medical device [4] and the Europ
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::491454769ce5a026be0034864459ba16
https://doi.org/10.1007/978-3-030-48077-6_24
https://doi.org/10.1007/978-3-030-48077-6_24
This Festschrift was published in honor of Egon Börger on the occasion of his 75th birthday.It acknowledges Prof. Börger's inspiration as a scientist, author, mentor, and community organizer. Dedicated to a pioneer in the fields of logic and comp
Autor:
Alexander Raschke, Dominique Méry
This book constitutes the proceedings of the 8th International Conference on Rigorous State-Based Methods, ABZ 2021, which was planned to take place in Ulm, Germany, during June 6-11, 2021. The conference changed to an online format due to the COVID