Follow
Steve Boßelmann
Title
Cited by
Cited by
Year
DIME: a programming-less modeling environment for web applications
S Boßelmann, M Frohme, D Kopetzki, M Lybecait, S Naujokat, ...
Leveraging Applications of Formal Methods, Verification and Validation …, 2016
962016
Model-driven design of secure high assurance systems: an introduction to the open platform from the user perspective
S Boßelmann, J Neubauer, S Naujokat, B Steffen
The 2016 International Conference on Security and Management (SAM 2016 …, 2016
272016
ITSy--Simplicity Research in Information and Communication Technology
BD Floyd, S Bosselmann
Computer 46 (11), 26-32, 2013
182013
GOLD: global organization alignment and decision-towards the hierarchical integration of heterogeneous business models
B Steffen, S Boßelmann
Leveraging Applications of Formal Methods, Verification and Validation …, 2018
172018
Guided business modeling and analysis for business professionals
S Boßelmann, T Margaria
Service Business Model Innovation in Healthcare and Hospital Management …, 2017
142017
Customer-oriented business process management: Vision and obstacles
T Margaria, S Boßelmann, M Doedt, BD Floyd, B Steffen
Conquering complexity, 407-429, 2012
132012
Domain-specific business modeling with the business model developer
S Boßelmann, T Margaria
Leveraging Applications of Formal Methods, Verification and Validation …, 2014
122014
A fully model-based approach to the design of the secube™ community web app
S Boßelmann, D Kühn, T Margaria
2017 12th International Conference on Design & Technology of Integrated …, 2017
82017
Modeling directly executable processes for healthcare professionals with xmdd
S Boßelmann, A Wickert, AL Lamprecht, T Margaria
Service Business Model Innovation in Healthcare and Hospital Management …, 2017
82017
Towards continuous quality control in the context of language-driven engineering
A Bainczyk, S Boßelmann, M Krause, M Krumrey, D Wirkner, B Steffen
International Symposium on Leveraging Applications of Formal Methods, 389-406, 2022
72022
On the difficulty of drawing the line
S Boßelmann, S Naujokat, B Steffen
Leveraging Applications of Formal Methods, Verification and Validation …, 2018
72018
Effective and efficient customization through lean trans-departmental configuration
B Steffen, S Boßelmann, A Hessenkämper
Leveraging Applications of Formal Methods, Verification and Validation …, 2016
62016
Executable documentation: From documentation languages to purpose-specific languages
T Tegeler, S Boßelmann, J Schürmann, S Smyth, S Teumert, B Steffen
International Symposium on Leveraging Applications of Formal Methods, 174-192, 2022
52022
Domain-Specificity as Enabler for Global Organization aLignment and Decision
B Steffen, S Boßelmann
International Symposium on Leveraging Applications of Formal Methods, 340-365, 2022
52022
DIME: a programming-less modeling environment for web applications. ISoLA
S Bosselmann, MT Frohme, B Steffen
52016
Simple modeling of executable role-based workflows: An application in the healthcare domain
T Margaria, S Boßelmann, B Kujath
Journal of Integrated Design and Process Science 17 (3), 25-45, 2013
52013
Global communication infrastructure: towards standardization of customized projects via profile matching
A Hessenkämper, B Steffen, S Boßelmann
Leveraging Applications of Formal Methods, Verification, and Validation: 6th …, 2016
42016
Der Business Model Developer–Entwicklung eines Tools zur Erstellung und Analyse von Geschäftsmodellen
T Margaria-Steffen, S Boßelmann, A Wickert
Dienstleistungspotenziale und Geschäftsmodelle in der Personalisierten …, 2015
42015
Simplicity in application development for business Model Design
S Boßelmann
Software Business. From Physical Products to Software Services and Solutions …, 2013
22013
Simple modeling of executable role-based workflows: an application in the healthcare domain
T Margaria, S Boßelmann, B Kujath
Leveraging Applications of Formal Methods, Verification and Validation …, 2012
12012
The system can't perform the operation now. Try again later.
Articles 1–20