Folgen
Stefan Naujokat
Stefan Naujokat
Researcher, TU Dortmund
Bestätigte E-Mail-Adresse bei tu-dortmund.de
Titel
Zitiert von
Zitiert von
Jahr
CINCO: A simplicity-driven approach to full generation of domain-specific graphical modeling tools
S Naujokat, M Lybecait, D Kopetzki, B Steffen
Int. Journal on Software Tools for Technology Transfer (STTT), Springer Verlag, 2017
1252017
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
Loose programming with PROPHETS
S Naujokat, AL Lamprecht, B Steffen
International Conference on Fundamental Approaches to Software Engineering …, 2012
812012
Synthesis-based loose programming
AL Lamprecht, S Naujokat, T Margaria, B Steffen
2010 Seventh International Conference on the Quality of Information and …, 2010
772010
Semantics-based composition of EMBOSS services
AL Lamprecht, S Naujokat, T Margaria, B Steffen
Journal of biomedical semantics 2 (Suppl 1), S5, 2011
702011
Language-driven engineering: from general-purpose to purpose-specific languages
B Steffen, F Gossen, S Naujokat, T Margaria
Computing and Software Science: State of the Art and Perspectives, 311-344, 2019
572019
Property-driven benchmark generation: synthesizing programs of realistic structure
B Steffen, M Isberner, S Naujokat, T Margaria, M Geske
International Journal on Software Tools for Technology Transfer 16, 465-479, 2014
402014
Archimedean points: the essence for mastering change
B Steffen, S Naujokat
Transactions on Foundations for Mastering Change I, 22-46, 2016
392016
Pyro: generating domain-specific collaborative online modeling environments
P Zweihoff, S Naujokat, B Steffen
Fundamental Approaches to Software Engineering: 22nd International …, 2019
282019
Domain-specific code generator modeling: a case study for multi-faceted concurrent systems
S Naujokat, LM Traonouez, M Isberner, B Steffen, A Legay
Leveraging Applications of Formal Methods, Verification and Validation …, 2014
282014
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
Proceedings of the International Conference on Security and Management (SAM …, 2016
272016
DSLs for decision services: a tutorial introduction to language-driven engineering
F Gossen, T Margaria, A Murtovi, S Naujokat, B Steffen
Leveraging Applications of Formal Methods, Verification and Validation …, 2018
252018
Variability Management Beyond Feature Models
AL Lamprecht, S Naujokat, I Schaefer
IEEE, 2013
252013
Constraint-guided workflow composition based on the EDAM ontology
AL Lamprecht, S Naujokat, B Steffen, T Margaria
Proc. of the Workshop on Semantic Web Applications and Tools for Life …, 2010
252010
A tutorial introduction to graphical modeling and metamodeling with CINCO
M Lybecait, D Kopetzki, P Zweihoff, A Fuhge, S Naujokat, B Steffen
Leveraging Applications of Formal Methods, Verification and Validation …, 2018
232018
Meta-level reuse for mastering domain specialization
S Naujokat, J Neubauer, T Margaria, B Steffen
Leveraging Applications of Formal Methods, Verification and Validation …, 2016
232016
A fully model-based approach to software development for industrial centrifuges
N Wortmann, M Michel, S Naujokat
Leveraging Applications of Formal Methods, Verification and Validation …, 2016
222016
Simplicity‐first model‐based plug‐in development
S Naujokat, J Neubauer, AL Lamprecht, B Steffen, S Jörges, T Margaria
Software: Practice and Experience 44 (3), 277-297, 2014
192014
Service-oriented mediation with jETI/jABC: Verification and export
C Kubczak, T Margaria, B Steffen, S Naujokat
2007 IEEE/WIC/ACM International Conferences on Web Intelligence and …, 2007
192007
Automatic generation of the SWS-challenge mediator with jABC/ABC
T Margaria, M Bakera, C Kubczak, S Naujokat, B Steffen
Semantic Web Services Challenge: Results from the First Year, 119-138, 2009
172009
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20