Följ
Stefan Naujokat
Stefan Naujokat
Researcher, TU Dortmund
Verifierad e-postadress på tu-dortmund.de
Titel
Citeras av
Citeras av
År
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
1232017
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
952016
Loose programming with PROPHETS
S Naujokat, AL Lamprecht, B Steffen
International Conference on Fundamental Approaches to Software Engineering …, 2012
802012
Synthesis-based loose programming
AL Lamprecht, S Naujokat, T Margaria, B Steffen
2010 Seventh International Conference on the Quality of Information and …, 2010
752010
Semantics-based composition of EMBOSS services
AL Lamprecht, S Naujokat, T Margaria, B Steffen
Journal of biomedical semantics 2 (Suppl 1), S5, 2011
692011
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
562019
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
392014
Archimedean points: the essence for mastering change
B Steffen, S Naujokat
Transactions on Foundations for Mastering Change I, 22-46, 2016
382016
Pyro: generating domain-specific collaborative online modeling environments
P Zweihoff, S Naujokat, B Steffen
Fundamental Approaches to Software Engineering: 22nd International …, 2019
272019
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
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
262014
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
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
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 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
222018
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
202016
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
Property-driven benchmark generation
B Steffen, M Isberner, S Naujokat, T Margaria, M Geske
Model Checking Software: 20th International Symposium, SPIN 2013, Stony …, 2013
162013
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20